1202 search results - page 160 / 241 » Sortings for Reactive Systems |
148
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
138
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The sustained push for performance, transistor count, and instruction level parallelism has reached a point where chip level power density issues are at the forefront of design ...
139
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Tool-type haptic interfaces such as scissors are used to present force feeling for surgical training in virtual reality environment. Presentation of force feelings of plural tools...
138
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
132
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...