2409 search results - page 76 / 482 » On Extended Regular Expressions |
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
ISSAC
1995
Springer
15 years 1 months ago
1995
Springer
An improved method for expressing the greatest common divisor of n numbers as an integer linear combination of the numbers is presented and analyzed, both theoretically and practi...
ENTCS
2007
14 years 10 months ago
2007
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
WSFM
2007
Springer
15 years 4 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
C5
2005
IEEE
15 years 3 months ago
2005
IEEE
Croquet is a broadband communications platform with a 3D user interface and peer-to-peer network architecture that provides educators with a new expressive “meta-medium that is ...