Sciweavers

2490 search results - page 387 / 498
» Complexity of Contextual Reasoning
Sort
View
92
Voted
NSDI
2004
14 years 11 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
87
Voted
SSR
2001
83views more  SSR 2001»
14 years 11 months ago
Increasing the confidence in off-the-shelf components: a software connector-based approach
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...
Marija Mikic-Rakic, Nenad Medvidovic
96
Voted
IJCAI
2003
14 years 11 months ago
On the Design of Social Diagnosis Algorithms for Multi-Agent Teams
Teamwork demands agreement among teammembers to collaborate and coordinate effectively. When a disagreement between teammates occurs (due to failures), team-members should ideally...
Meir Kalech, Gal A. Kaminka
95
Voted
SPLC
2004
14 years 11 months ago
Experiences in Software Product Families: Problems and Issues During Product Derivation
A fundamental reason for investing in product families is to minimize the application engineering costs. Several organizations that employ product families, however, are becoming i...
Sybren Deelstra, Marco Sinnema, Jan Bosch
WSC
2004
14 years 11 months ago
Approximating Component Selection
Simulation composability is a difficult capability to achieve due to the challenges of creating components, selecting combinations of components, and integrating the selected comp...
Michael Roy Fox, David C. Brogan, Paul F. Reynolds...