1554 search results - page 182 / 311 » An Overview of the Spring System |
IWCMC
2006
ACM
14 years 3 months ago
2006
ACM
An overview of some recent advances in distributed information processing for control over wireless sensor networks is presented in this paper. Firstly, a taxonomy of fundamental ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
IV
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces Temporal Social Surfaces. Temporal Social Surfaces show the dynamic evolution of social relationships in groups. Changes in measures of social network analys...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...