345 search results - page 35 / 69 » A Framework for the Design of ETL Scenarios |
119
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
129
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
CHI
2008
ACM
16 years 6 days ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
100
click to vote
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Location-aware computing enables automatic tailoring of information and services based on the current location of a mobile user. We have designed and implemented CMUseum, a system...