417 search results - page 30 / 84 » Extending UML for Model Composition |
104
Voted
OTM
2005
Springer
15 years 9 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...
137
Voted
PPSWR
2005
Springer
15 years 9 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...
134
Voted
BXML
2003
15 years 5 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...
131
Voted
EUROMICRO
2009
IEEE
15 years 10 months 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 ...
129
Voted
ACSD
2006
IEEE
15 years 9 months 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...