Sciweavers

290 search results - page 34 / 58
» A Metamodeling Approach for Reasoning about Requirements
Sort
View
IROS
2007
IEEE
92views Robotics» more  IROS 2007»
15 years 3 months ago
Learning-enhanced market-based task allocation for oversubscribed domains
Abstract— This paper presents a learning-enhanced marketbased task allocation approach for oversubscribed domains. In oversubscribed domains all tasks cannot be completed within ...
Edward Gil Jones, M. Bernardine Dias, Anthony Sten...
IAT
2006
IEEE
15 years 3 months ago
Toward Inductive Logic Programming for Collaborative Problem Solving
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
Jian Huang, Adrian R. Pearce
SDB
1995
95views Database» more  SDB 1995»
15 years 1 months ago
Semantics of Database Transformations
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
Peter Buneman, Susan B. Davidson, Anthony Kosky
KES
2007
Springer
15 years 3 months ago
Credal Networks for Operational Risk Measurement and Management
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
Alessandro Antonucci, Alberto Piatti, Marco Zaffal...
POPL
2008
ACM
15 years 9 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...