373 search results - page 47 / 75 » Synthesis of Trigger Properties |
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
SIGIR
1999
ACM
14 years 2 months ago
1999
ACM
The fast growth of multimedia information in image and video databases has triggered research on efficient retrieval methods. This paper deals with structural queries, a type of c...
CHI
2010
ACM
14 years 1 months ago
2010
ACM
Digital mementos are increasingly problematic, as people acquire large amounts of digital belongings that are hard to access and often forgotten. Based on fieldwork with 10 famili...
JCP
2008
13 years 10 months ago
2008
The computer world is experiencing a paradigm shift towards context-aware pervasive computing, where diverse computer devices communicate with each other through different network ...