10995 search results - page 1945 / 2199 » Positioning |
163
click to vote
IWIA
2005
IEEE
16 years 2 days ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
199
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
161
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
130
click to vote
MEMOCODE
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
175
click to vote
SAINT
2005
IEEE
16 years 2 days ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...