1438 search results - page 18 / 288 » An Expressive Extension of TLC |
ECOWS
2006
Springer
14 years 2 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
ECOOP
2008
Springer
14 years 20 days ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
LREC
2008
14 years 10 days ago
2008
An increasing number of enterprises are beginning to include semantic web ontologies into their Information Extraction (IE) and Text Analytics (TA) applications. This can be chall...
JWSR
2008
2008
DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages
13 years 11 months ago
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspec...
TOCL
2008
13 years 10 months ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...