7557 search results - page 306 / 1512 » Modeling Timed Concurrent Systems |
141
click to vote
AAI
2000
15 years 6 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
166
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
188
Voted
FUIN
2007
15 years 6 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
154
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
162
click to vote
IJON
2007
15 years 6 months ago
2007
We investigate a recently proposed method for the analysis of oscillatory patterns in EEG data, with respect to its capacity of further quantifying processes on slower (< 1 Hz)...