417 search results - page 30 / 84 » Extending UML for Model Composition |
137
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
169
click to vote
PPSWR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
174
click to vote
BXML
2003
15 years 7 months ago
2003
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
161
click to vote
EUROMICRO
2009
IEEE
16 years 21 days ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
164
click to vote
ACSD
2006
IEEE
16 years 15 hour ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...