4962 search results - page 559 / 993 » Stochastic Model Checking |
105
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...
146
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
145
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Stochastic tracking of structured models in monolithic state spaces often requires modeling complex distributions that are difficult to represent with either parametric or sample...
156
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
142
click to vote
CIC
2006
15 years 6 months ago
2006
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...