305 search results - page 47 / 61 » Experiences with Modeling and Verification of Regulations |
ACE
2004
13 years 9 months ago
2004
This paper describes the processes involved in developing and implementing the Doctor of Computing (DComp) programme at UNITEC Institute of Technology. It is the first professiona...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—We propose a virtualization framework to separate the network operator (NO) who focuses on wireless resource management and service providers (SP) who target distinct objectives...
SOCIALCOM
2010
13 years 5 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
SIMUTOOLS
2008
13 years 9 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...