Sciweavers

6480 search results - page 369 / 1296
» Proximity Communication and Time
Sort
View
ISORC
2003
IEEE
16 years 5 days ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
CSR
2010
Springer
15 years 11 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
15 years 11 months ago
Asynchronous Links in the PBC and M-Nets
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
Hanna Klaudel, Franck Pommereau
IADIS
2004
15 years 8 months ago
Physiology of mobile database: an unconventional database
As the mobility of people increases, anytime, anywhere computing has become a must. The appearance of powerful portable computers, along with advancement in wireless communication...
Imran Khan, Nasir Touheed
ISIWI
2000
15 years 8 months ago
Usability Engineering Methods for the Web: Results From a Usability Study
The paper presents the results of a study on usability methods for evaluating Web sites. lt summarizes the "Heuristics for Web Communications," and reports the practical...
Ilse Maria Harms, Werner Schweibenz