10072 search results - page 415 / 2015 » Composition of Model Programs |
199
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
225
Voted
EUROS
2008
15 years 8 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 ...
187
click to vote
CORR
2007
Springer
15 years 6 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...
172
click to vote
CGF
2000
15 years 6 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 ...
171
click to vote
KBSE
2010
IEEE
15 years 4 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...