3522 search results - page 447 / 705 » Modeling and Aspect Weaving |
122
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
175
click to vote
SPW
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we describe Turtle, a peer-to-peer architecture for safe sharing of sensitive data. The truly revolutionary aspect of Turtle rests in its novel way of dealing with t...
162
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
186
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
161
click to vote
ICEIS
2003
IEEE
15 years 12 months ago
2003
IEEE
: This paper brings together two research areas, i.e. “Data Warehouses” and “Temporal Databases”, involving representation of time. Looking at temporal aspects within a dat...