Sciweavers

3310 search results - page 217 / 662
» Aspect-aware operating system development
Sort
View
AUTONOMICS
2008
ACM
15 years 6 months ago
On modeling of self-organizing systems
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
Richard Holzer, Hermann de Meer
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 7 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
MOBISYS
2005
ACM
16 years 3 months ago
The Horus WLAN location determination system
We present the design and implementation of the Horus WLAN location determination system. The design of the Horus system aims at satisfying two goals: high accuracy and low comput...
Moustafa Youssef, Ashok K. Agrawala
ICSE
1999
IEEE-ACM
15 years 8 months ago
Information Survivability Control Systems
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
Kevin J. Sullivan, John C. Knight, Xing Du, Steve ...
ALPIT
2007
IEEE
15 years 10 months ago
Model Driven and Service Oriented Enterprise Integration---The Method, Framework and Platform
SOA and MDA have emerged as a major evolutionary step in enterprise integration. Significant advances have been seen in SOA and MDA. But the integration of SOA and MDA is still la...
Shuangxi Huang, Yushun Fan