3914 search results - page 239 / 783 » Automating SLA modeling |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
DSOM
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes a PBNM (Policy Based Network Management) framework for automating the process of generating and distributing DiffServ configuration to network devices. The fram...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
Exporting to cultural heritage methods and tools used in industrial areas, where the profits can justify high modeling costs, may only be a starting point for cultural heritage mo...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
SIES
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...