4866 search results - page 4 / 974 » UML for Global Computing |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
The advent of UML 2.0 has provided a new set of concepts more apt for modeling the structure and behavior of distributed systems. These concepts and mechanisms can be effectively ...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
APN
2000
Springer
14 years 23 days ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...