8555 search results - page 1378 / 1711 » Property Based Coordination |
187
click to vote
ITCC
2005
IEEE
16 years 12 days ago
2005
IEEE
Declustering techniques reduce query response times through parallel I/O by distributing data among multiple devices. Most of the research on declustering is targeted at spatial r...
188
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
162
click to vote
MOBIQUITOUS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper introduces a new approach that addresses data contamination problems from attacks in unattended wireless sensor networks. We propose a sliding-window based spatio-tempo...
171
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
155
click to vote
SMI
2005
IEEE
16 years 12 days ago
2005
IEEE
Creating surfaces with intricate small-scale features (microgeometry) and detail is an important task in geometric modeling and computer graphics. We present a model processing me...