925 search results - page 62 / 185 » Typing Component-Based Communication Systems |
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
ENTCS
2006
13 years 10 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
AUTONOMICS
2008
ACM
13 years 12 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
COCOON
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...