Sciweavers

5352 search results - page 846 / 1071
» Modeling the socio-cultural context
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Measuring the Robustness of Resource Allocations in a Stochastic Dynamic Environment
Heterogeneous distributed computing systems often must operate in an environment where system parameters are subject to uncertainty. Robustness can be defined as the degree to wh...
Jay Smith, Luis Diego Briceno, Anthony A. Maciejew...
KBSE
2007
IEEE
16 years 29 days ago
Test suite reduction and prioritization with call trees
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
Adam M. Smith, Joshua Geiger, Gregory M. Kapfhamme...
197
Voted
LICS
2007
IEEE
16 years 29 days ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
NCA
2007
IEEE
16 years 29 days ago
Dynamic load balancing for network intrusion detection systems based on distributed architectures
Increasing traffic and the necessity of stateful analyses impose strong computational requirements on network intrusion detection systems (NIDS), and motivate the need of distrib...
Mauro Andreolini, Sara Casolari, Michele Colajanni...
ROMAN
2007
IEEE
173views Robotics» more  ROMAN 2007»
16 years 29 days ago
Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
Michael Brenner