824 search results - page 129 / 165 » Model-Based Monitoring of Dynamic Systems |
136
click to vote
POPL
2000
ACM
15 years 4 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
TAP
2008
Springer
14 years 11 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
101
click to vote
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
: Global positioning systems (GPS) and mobile phone networks are making it possible to track individual users with an increasing accuracy. It is natural to ask whether one can use ...
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
ISSA
2004
15 years 1 months ago
2004
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...