338 search results - page 50 / 68 » A Language for Task Orchestration and Its Semantic Propertie... |
185
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
110
click to vote
WOLLIC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
UML
2004
Springer
15 years 3 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
73
Voted
LREC
2008
14 years 11 months ago
2008
Nowadays, there are hundreds of Natural Language Processing applications and resources for different languages that are developed and/or used, almost exclusively with a few but no...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...