2496 search results - page 12 / 500 » Error-detecting properties of languages |
CCS
2003
ACM
14 years 3 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
CTRS
1992
14 years 1 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1