7099 search results - page 327 / 1420 » Context for models of concurrency |
159
click to vote
FSKD
2007
Springer
16 years 1 months ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
188
click to vote
KBSE
2002
IEEE
16 years 13 days ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
197
Voted
CLIMA
2004
15 years 9 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
206
Voted
FLAIRS
2004
15 years 9 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
180
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents the design of an associative memory with feedback that is capable of on-line temporal sequence learning. A framework for on-line sequence learning has been prop...