2282 search results - page 51 / 457 » Active property checking |
ACSD
2008
IEEE
14 years 1 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
ENTCS
2006
13 years 11 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
SCANGIS
2003
14 years 10 days ago
2003
The GI2000 initiative considered the requirements for a geographic information infrastructure in Europe. This was followed by the European Territorial Management Information Infras...
NN
2006
Springer
13 years 11 months ago
2006
Springer
Recent computational approaches to action imitation have advocated the use of hierarchical representations in the perception and imitation of demonstrated actions. Hierarchical re...
POPL
2000
ACM
14 years 3 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...