2608 search results - page 302 / 522 » Subjects, Models, Languages, Transformations |
206
click to vote
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...
206
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
228
click to vote
UML
2004
Springer
16 years 15 days ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
209
click to vote
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
193
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...