3429 search results - page 364 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
172
Voted
AAAI
2006
15 years 6 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
142
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
161
Voted
INFORMATICALT
2008
15 years 4 months ago
2008
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
147
click to vote
EXPCS
2007
15 years 8 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
149
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...