Sciweavers

8644 search results - page 92 / 1729
» On the Composition of Secure Systems
Sort
View
SIGOPSE
1998
ACM
14 years 1 months ago
Driving the composition of runtime platforms by architectural knowledge
Lothar Baum, Martin Becker, Lars Geyer, Georg Molt...
SIES
2010
IEEE
13 years 7 months ago
Compositional Translation of Simulink Models into Synchronous BIP
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safa...
RTAS
2003
IEEE
14 years 2 months ago
VEST: An Aspect-Based Composition Tool for Real-Time Systems
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...
ISORC
1998
IEEE
14 years 1 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
ICALT
2005
IEEE
14 years 2 months ago
The Design for a Collaborative System of English as Foreign Language Composition Writing of Senior High School Students in Taiwa
The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...
Yi-Fan Chang, Diane L. Schallert