3047 search results - page 504 / 610 » A Secure Distributed Search System |
EUC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
WOSP
2004
ACM
15 years 4 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
ICALP
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
HOTOS
2009
IEEE
15 years 3 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
103
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...