3387 search results - page 364 / 678 » Model-Checking for Real-Time Systems |
190
Voted
CANDC
2007
ACM
15 years 11 months ago
2007
ACM
Can creative visualizations of real time energy consumption patterns trigger more ecologically responsible behavior? Media art that displays the real time usage of key resources s...
339
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
185
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Embedded software design for real time reactive system
200
click to vote
ENTCS
2006
15 years 7 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
162
Voted
ATAL
2005
Springer
16 years 27 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...