Sciweavers

5339 search results - page 900 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
SAC
1998
ACM
15 years 8 months ago
Off-line scheduling of a real-time system
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
Klaus Schild, Jörg Würtz
FTRTFT
1998
Springer
15 years 8 months ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...
FTDCS
1997
IEEE
15 years 8 months ago
An Efficient Causal Order Algorithm for Message Delivery in Distributed System
Though causal order of message delivery simplifies the design and development of distributed applications, the overhead of enforcing it is not negligible. Causal order algorithm w...
Ikhyeon Jang, Jaehyung Park, Jung Wan Cho, Hyunsoo...
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 8 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
WWCA
1998
Springer
15 years 8 months ago
Compact and Flexible Resolution of CBT Multicast Key-Distribution
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
Kanta Matsuura, Yuliang Zheng, Hideki Imai