Sciweavers

5623 search results - page 247 / 1125
» Incremental Mechanism Design
Sort
View
IM
2007
15 years 8 months ago
Interactive Informatics on Internet Infrastructure
— We present the design and evaluation of I4, a network infrastructure that enables information exchange and collaboration among different domains. I4 can help address problems, ...
F. Zhao, V. R. Vemuri, Shyhtsun Felix Wu, F. Xue, ...
FMOODS
2000
15 years 8 months ago
Behavioural Subtyping and Property Preservation
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
Heike Wehrheim
AIIDE
2009
15 years 7 months ago
Adapting Game-Playing Agents to Game Requirements
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
Joshua Jones, Chris Parnin, Avik Sinharoy, Spencer...
JCP
2007
145views more  JCP 2007»
15 years 6 months ago
AnnAnn and AnnAnn.Net: Tools for Teaching Programming
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...
Clare J. Hooper, Les Carr, Hugh C. Davis, David E....
ICFEM
2009
Springer
15 years 4 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...