Sciweavers

4636 search results - page 190 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
SEFM
2005
IEEE
16 years 6 days ago
Formal Analysis of Human-computer Interaction using Model-checking
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 ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
VR
2007
IEEE
122views Virtual Reality» more  VR 2007»
16 years 27 days ago
Registered, Sensor-Integrated Virtual Reality for Surgical Applications
Image guidance is a technique that often uses virtual reality to provide accurate localization and real-time surgical navigation. Combining image guidance with a biosensor based o...
Brady W. King, Luke A. Reisner, Michael D. Klein, ...
DAC
1999
ACM
16 years 7 months ago
Behavioral Synthesis Techniques for Intellectual Property Protection
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
Inki Hong, Miodrag Potkonjak
IWIA
2005
IEEE
16 years 6 days ago
Forensic Analysis of File System Intrusions Using Improved Backtracking
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
Sriranjani Sitaraman, Subbarayan Venkatesan
IWPSE
2007
IEEE
16 years 28 days ago
Using concept analysis to detect co-change patterns
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
Tudor Gîrba, Stéphane Ducasse, Adrian...