2050 search results - page 284 / 410 » A formal foundation for process modeling |
199
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
179
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
178
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
149
click to vote
AAAI
2010
15 years 8 months ago
2010
In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Ob...
173
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...