254 search results - page 40 / 51 » A Behavioral Module System for the Pi-Calculus |
142
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
90
Voted
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
ICIP
2001
IEEE
16 years 1 months ago
2001
IEEE
In the last years, the interest for advanced video-based surveillance applications is more and more growing. This is especially true in the field of railway urban transport where ...
193
click to vote
PLDI
2009
ACM
16 years 12 days ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
108
click to vote
CW
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper aims at proposing a framework for animating virtual humans that can efficiently interact with real users in virtual reality (VR). If the user’s order can be modeled ...