1565 search results - page 16 / 313 » Generalized Net Model of Auditory Information Processing |
80
Voted
ICSE
1998
IEEE-ACM
15 years 1 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
FSTTCS
2006
Springer
15 years 1 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
77
Voted
ISCI
2000
14 years 9 months ago
2000
A quantum device simulating human decision making process is introduced. It consists of quantum recurrent nets generating stochastic processes which represent the motor dynamics, ...
VVEIS
2007
14 years 10 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
CONCUR
1992
Springer
15 years 1 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...