6343 search results - page 133 / 1269 » Development of a Cartographic Language |
126
Voted
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
132
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
168
click to vote
POPL
2012
ACM
14 years 15 days ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
163
Voted
PADL
2001
Springer
15 years 9 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
129
click to vote
WCET
2008
15 years 6 months ago
2008
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have increased the efficiency of research on WCET analysis. The...