3765 search results - page 683 / 753 » Formal Methods for Systems Engineering Behavior Models |
RAID
2009
Springer
14 years 3 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...