254 search results - page 4 / 51 » A Behavioral Module System for the Pi-Calculus |
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
PERCOM
2011
ACM
13 years 1 months ago
2011
ACM
—The need to prolong the ability for older adults to live at home independently has become an important area of smart environment research. In this proposal, we demonstrate a web...
IIHMSP
2006
IEEE
14 years 3 months ago
2006
IEEE
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
HOTOS
1997
IEEE
14 years 2 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...