1700 search results - page 79 / 340 » Specifying and implementing refactorings |
141
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a tool allowing the design of orchestration at a high level of abstraction. This tool also allows specifying security properties, also in an way, as anno...
151
click to vote
NTMS
2008
IEEE
15 years 10 months ago
2008
IEEE
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
135
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most available approaches for XML schema evolution specify the evolution steps for an XML schema or a DTD. This article will show that schema evolution can also be realiz...
153
click to vote
SUM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
136
click to vote
KBSE
2006
IEEE
15 years 10 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,...