Sciweavers

2123 search results - page 238 / 425
» Composition of Cyber-Physical Systems
Sort
View
DAGSTUHL
2003
15 years 8 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
USENIX
2001
15 years 8 months ago
Design and Implementation of the X Rendering Extension
The 2000 Usenix Technical Conference included a presentation outlining the state of the X rendering environment and the capabilities necessary to bring X into the modern world. Du...
Keith Packard
EACL
1993
ACL Anthology
15 years 8 months ago
Delimitedness And Trajectory-Of-Motion Events
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
Michael White
DC
2007
15 years 6 months ago
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
Joffroy Beauquier, Maria Gradinariu, Colette Johne...
IS
2007
15 years 6 months ago
Formalizing the evolution of virtual communities
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more comple...
Aldo de Moor, Hans Weigand