Sciweavers

133 search results - page 14 / 27
» diagrams 2000
Sort
View
SIGMETRICS
2000
ACM
105views Hardware» more  SIGMETRICS 2000»
13 years 12 months ago
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
Andrew S. Miner, Gianfranco Ciardo, Susanna Donate...
ISSRE
2000
IEEE
13 years 12 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
AOSE
2000
Springer
13 years 12 months ago
Representing Agent Interaction Protocols in UML
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...
James Odell, H. Van Dyke Parunak, Bernhard Bauer
APN
2000
Springer
13 years 12 months ago
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
: 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 ...
Mohammed Elkoutbi, Rudolf K. Keller
ESAW
2000
Springer
13 years 11 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi