3844 search results - page 351 / 769 » Modular interpreted systems |
144
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
124
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
174
Voted
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
121
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
134
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...