Sciweavers

3812 search results - page 647 / 763
» Combinations of TRAP Based Systems
Sort
View
VLDB
1992
ACM
95views Database» more  VLDB 1992»
15 years 2 months ago
Production Rules in Parallel and Distributed Database Environments
In most database systems with production rule facilities, rules respond to operations on centralized data and rule processing is performed in a centralized, sequential fashion. In ...
Stefano Ceri, Jennifer Widom
SIGGRAPH
1989
ACM
15 years 2 months ago
Goal-directed, dynamic animation of human walking
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
Armin Bruderlin, Thomas W. Calvert
CCS
2009
ACM
15 years 2 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
CAV
2010
Springer
172views Hardware» more  CAV 2010»
15 years 2 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
IEEESCC
2010
IEEE
15 years 2 months ago
Dynamic Composition of Services in Sensor Networks
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
Sahin Cem Geyik, Boleslaw K. Szymanski, Petros Zer...