1831 search results - page 87 / 367 » Time Constraints in Workflow Systems |
157
Voted
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
15 years 5 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
135
Voted
SRDS
1998
IEEE
15 years 7 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
163
Voted
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
136
Voted
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
122
Voted
RE
2001
Springer
15 years 8 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...