2106 search results - page 195 / 422 » Operational Semantics for MSC'96 |
177
click to vote
APCCM
2009
15 years 7 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
169
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
160
click to vote
JWSR
2006
15 years 6 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
183
click to vote
TCS
2008
15 years 5 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
146
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...