2171 search results - page 416 / 435 » A Generic Process Algebra |
149
click to vote
ECSQARU
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
154
click to vote
IWCMC
2009
ACM
16 years 12 days ago
2009
ACM
This paper proposes a dynamic trust establishment protocol that enables the nodes of an ad hoc network to establish security associations among each other in a distributed and pee...
174
click to vote
SIGIR
2009
ACM
16 years 12 days ago
2009
ACM
Social network systems, like last.fm, play a significant role in Web 2.0, containing large amounts of multimedia-enriched data that are enhanced both by explicit user-provided an...
174
click to vote
IPPS
2008
IEEE
16 years 9 days ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
167
click to vote
ICCCN
2007
IEEE
16 years 6 days ago
2007
IEEE
Abstract — Distributed sensor system applications (e.g., wireless sensor networks) have been studied extensively in recent years. Such applications involve resource-limited embed...