517 search results - page 100 / 104 » Using dynamic logic programming to model legal reasoning |
CLOUDCOM
2010
Springer
13 years 5 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
JSS
2008
13 years 7 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
JACM
2002
13 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...