6833 search results - page 1097 / 1367 » Some two-character sets |
162
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
194
click to vote
SMC
2007
IEEE
16 years 29 days ago
2007
IEEE
— Since family members have their unique features when living in a smart home environment, user identifications are able to achieve without any tags. In this paper, we propose T...
197
click to vote
AB
2007
Springer
16 years 26 days ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
190
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
186
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
Intrusion detection is a critical component of secure information systems. Network anomaly detection has been an active and difficult research topic in the field of Intrusion Dete...