947 search results - page 148 / 190 » Declarative Programming in Prolog |
146
click to vote
CISIS
2010
IEEE
16 years 26 days ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
142
click to vote
ER
2009
Springer
16 years 17 days ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
152
click to vote
CIBSE
2009
ACM
16 years 15 days ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
146
click to vote
ICSM
2008
IEEE
16 years 12 days ago
2008
IEEE
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
152
click to vote
CAV
2007
Springer
16 years 5 days ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...