Sciweavers

4839 search results - page 126 / 968
» A survey of computational complexity results in systems and ...
Sort
View
ATAL
2005
Springer
15 years 7 months ago
Modeling complex multi-issue negotiations using utility graphs
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
Valentin Robu, D. J. A. Somefun, Johannes A. La Po...
LSSC
2007
Springer
15 years 8 months ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
ICSE
2005
IEEE-ACM
16 years 1 months ago
An empirical evaluation of test case filtering techniques based on exercising complex information flows
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
David Leon, Wes Masri, Andy Podgurski
GRID
2003
Springer
15 years 7 months ago
Faults in Grids: Why are they so bad and What can be done about it?
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
Raissa Medeiros, Walfredo Cirne, Francisco Vilar B...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 7 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli