4418 search results - page 290 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
178
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
184
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
195
click to vote
NMR
2004
Springer
16 years 20 hour ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
143
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The scarcity of energetic resources in mobile computers is a very limiting factor. In this paper we propose a solution that tries to balance energy consumption and QoS requirement...
191
click to vote
CCE
2006
15 years 6 months ago
2006
Complex kinetic mechanisms involving thousands of reacting species and tens of thousands of reactions are currently required for the rational analysis of modern combustion systems...