10092 search results - page 26 / 2019 » Active conditional models |
113
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
137
click to vote
ECRTS
2004
IEEE
15 years 5 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...
200
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
107
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...