3809 search results - page 231 / 762 » Associative language descriptions |
197
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
189
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
266
click to vote
DLS
2009
15 years 4 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
204
click to vote
LOPSTR
2007
Springer
16 years 23 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
179
click to vote
RTAS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...