2655 search results - page 334 / 531 » Event Systems and Access Control |
160
click to vote
HYBRID
2007
Springer
16 years 20 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
177
click to vote
ICPPW
2006
IEEE
16 years 16 days ago
2006
IEEE
Speech recognition has become common in many application domains, from dictation systems for professional practices to vocal user interfaces for people with disabilities or hands-...
150
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
154
click to vote
RE
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
171
click to vote
ICECCS
2008
IEEE
16 years 29 days ago
2008
IEEE
Ubiquitous computing systems can be regarded as open systems where heterogeneous and previously unknown entities may spontaneously interact, due to intrinsic mobility of users and...