Sciweavers

4761 search results - page 808 / 953
» Components, Frameworks, Patterns
Sort
View
LADC
2005
Springer
15 years 10 months ago
Timed Asynchronous Distributed Systems
We present a framework for building fail-safe hard real-time applications in timed asynchronous distributed systems subject to communication partitions and performance, omission, ...
Christof Fetzer
MATA
2005
Springer
169views Communications» more  MATA 2005»
15 years 10 months ago
Facilitating Context-Awareness Through Hardware Personalization Devices: The Simplicity Device
Abstract. The paper presents the specification, development and initial performance evaluation of the Simplicity Device (SD), which is one of the key components of the SIMPLICITY A...
J. Papanis, Sofia Kapellaki, Eleftherios Koutsolou...
NOSSDAV
2005
Springer
15 years 10 months ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
141
Voted
RULEML
2005
Springer
15 years 10 months ago
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
Wolfgang May, José Júlio Alferes, Ri...
165
Voted
SPIN
2005
Springer
15 years 10 months ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler