1705 search results - page 64 / 341 » Representing Constraints with Automata |
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
IJCAI
2003
13 years 11 months ago
2003
Many of standard practical techniques of solving constraint satisfaction problems use various decomposition methods to represent a problem as a combination of smaller ones. We stu...
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
13 years 11 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...
CATA
2003
13 years 11 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
EUSFLAT
2007
13 years 11 months ago
2007
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...