4272 search results - page 641 / 855 » A Case for Automatic System Evaluation |
185
click to vote
LICS
2005
IEEE
16 years 25 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
234
click to vote
ICWE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
212
click to vote
CCS
2003
ACM
16 years 14 days ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
165
click to vote
GECCO
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Theoretical and empirical evidence exists that the hierarchical Bayesian optimization algorithm (hBOA) can solve challenging hierarchical problems and anything easier. Th...
169
click to vote
DATE
2002
IEEE
16 years 6 days ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...