1268 search results - page 84 / 254 » Verifying distributed systems: the operational approach |
157
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
192
click to vote
ECWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
169
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
297
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....