5407 search results - page 911 / 1082 » The Software Engineering Global Model |
133
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
132
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
119
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
134
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
120
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...