1375 search results - page 178 / 275 » SDL-2000: A Language with a Formal Semantics |
EUROMICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
LOPSTR
2007
Springer
15 years 4 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
100
click to vote
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...