2623 search results - page 354 / 525 » tools 2010 |
SAT
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
SP
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—In network intrusion detection research, one popular strategy for finding attacks is monitoring a network’s activity for anomalies: deviations from profiles of norma...
VRML
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
DEBS
2010
ACM
14 years 1 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...