Sciweavers

2432 search results - page 211 / 487
» High-level approach to modeling of observed system behavior
Sort
View
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
14 years 2 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili
ICDE
2006
IEEE
188views Database» more  ICDE 2006»
16 years 7 months ago
Efficiently Evaluating Order Preserving Similarity Queries over Historical Market-Basket Data
We introduce a new domain-independent framework for formulating and efficiently evaluating similarity queries over historical data, where given a history as a sequence of timestam...
Reza Sherkat, Davood Rafiei
SNPD
2008
15 years 8 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
IMSCCS
2007
IEEE
16 years 24 days ago
An Innovative Simulation Approach for Water Mediated Attraction Based on Grid Computing
In order to investigate the behavior of the solvation, particularly, to quantify the solvent effects on the properties of solutes on a molecular basis, several simulation approach...
Zhifeng Yun, Samuel J. Keasler, Maoyuan Xie, Zhou ...
AAI
2006
126views more  AAI 2006»
15 years 6 months ago
Theory and practice of field-based motion coordination in multiagent systems
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
Marco Mamei, Franco Zambonelli