Sciweavers

2036 search results - page 73 / 408
» A generic type-and-effect system
Sort
View
IJCAI
2001
15 years 2 months ago
An Agent Architecture for Multi-Attribute Negotiation
A component-based generic agent architecture for multi-attribute (integrative) negotiation is introduced and its application is described in a prototype system for negotiation abo...
Catholijn M. Jonker, Jan Treur
81
Voted
WSC
2004
15 years 2 months ago
Automated Database and Schema-Based Data Interchange for Modeling and Simulation
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
Gregory A. Harrison, David S. Maynard, Eytan Polla...
94
Voted
ICRA
2003
IEEE
141views Robotics» more  ICRA 2003»
15 years 5 months ago
Control of biomimetic locomotion via averaging theory
Based on a recently developed ”generalized averaging theory,” we present a generic approach for the design of stabilizing feedback controllers for biomimetic locomotive systems...
Patricio A. Vela, Joel W. Burdick
153
Voted
IEEESP
2011
14 years 4 months ago
On Adversary Models and Compositional Security
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
Anupam Datta, Jason Franklin, Deepak Garg, Limin J...
PODC
2010
ACM
15 years 2 months ago
Distributed data classification in sensor networks
Low overhead analysis of large distributed data sets is necessary for current data centers and for future sensor networks. In such systems, each node holds some data value, e.g., ...
Ittay Eyal, Idit Keidar, Raphael Rom