4346 search results - page 257 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
146
Voted
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
135
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
157
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
126
click to vote
DSD
2006
IEEE
15 years 11 months ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
142
click to vote
MOBICOM
1999
ACM
15 years 9 months ago
1999
ACM
Due to the lack of a generic platform for location- and spatial-aware systems, many basic services have to be reimplemented in each application that uses spatial-awareness. A coop...