10263 search results - page 49 / 2053 » From Use Cases to System Operation Specifications |
ENTCS
2008
13 years 8 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
IMC
2007
ACM
13 years 10 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
There is a huge effort in ongoing research on new middleware platforms and new distributed services to support ubiquitous environments and pervasive applications. Most research pr...
ISER
1997
Springer
14 years 28 days ago
1997
Springer
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
APSEC
2004
IEEE
14 years 16 days ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...