4298 search results - page 650 / 860 » Computing at the top of the world |
116
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
126
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a CORBA-compliant middleware architecture that is more flexible and extensible compared to standard CORBA. The portable design of this architecture is easily in...
EGC
2005
Springer
15 years 7 months ago
2005
Springer
World Wide Web is one of the most important applications on the Internet. Net surfers can browse the Web pages by tracing the links embedded in the hypertexts. However, one will be...
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
103
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...