6031 search results - page 74 / 1207 » Communicating Transaction Processes |
123
click to vote
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
PUC
2002
14 years 11 months ago
2002
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...
INTERACT
2003
15 years 1 months ago
2003
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Underwater acoustic communication by passive-phase conjugation uses a channel probe signal transmitted prior to the data signal in order to estimate the channel response. At the r...
116
click to vote
JSS
2010
14 years 6 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...