306 search results - page 48 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
HUC
2010
Springer
13 years 5 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...
TMI
2008
13 years 7 months ago
2008
Diffusion tensor magnetic resonance imaging (DT-MRI) permits the noninvasive assessment of tissue microstructure and, with fibre-tracking algorithms, allows for the 3-D trajectorie...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
DAC
1999
ACM
13 years 12 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...