1104 search results - page 196 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
109
click to vote
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
110
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
IMC
2004
ACM
15 years 5 months ago
2004
ACM
The area of available bandwidth (avail-bw) estimation has attracted significant interest recently, with several estimation techniques and tools developed during the last 2-3 year...
110
click to vote
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we describe a mainframe access control system (DENT) and its associated delegated administration tool (DSAS) that were used in a financial institution for over 20 y...