5518 search results - page 632 / 1104 » Rule-Based Service Modeling |
168
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Recent work has applied game-theoretic models to real-world security problems at the Los Angeles International Airport (LAX) and Federal Air Marshals Service (FAMS). The analysis o...
181
click to vote
JSS
2007
15 years 6 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
142
click to vote
SPEECH
2002
15 years 6 months ago
2002
In this paper we present a hypothesis-verification approach for a Spanish Recognizer of continuously spelled names over the telephone. We give a detailed description of the spelli...
183
click to vote
IJSEKE
2011
14 years 10 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
159
click to vote
WSC
2007
15 years 9 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...