1463 search results - page 268 / 293 » Model Checking Implicit-Invocation Systems |
112
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
120
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
114
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
117
click to vote
ML
2006
ACM
15 years 1 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...