2558 search results - page 266 / 512 » Model Composition Contracts |
160
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
192
Voted
EUROS
2008
15 years 6 months ago
2008
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
146
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
137
click to vote
CGF
2000
15 years 4 months ago
2000
This paper presents models for graphite pencil, drawing paper, blenders, and kneaded eraser that produce realistic looking pencil marks, textures, and tones. Our models are based ...
133
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...