383 search results - page 62 / 77 » Formal Syntax and Semantics of Case Stacking Languages |
EUROMICRO
2007
IEEE
14 years 11 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
107
click to vote
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...