899 search results - page 78 / 180 » A Temporal Language for SystemC |
140
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
121
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
157
click to vote
OHS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The World Wide Web (WWW) was originally designed to handle relatively simple files, containing just text and graphics. With the development of more advanced Web browsers...
205
click to vote
BANFF
1995
15 years 7 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
137
click to vote
GEOINFO
2004
15 years 5 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...