9110 search results - page 1660 / 1822 » Formally-Based Design Evaluation |
134
Voted
SIGMOD
2001
ACM
16 years 3 months ago
2001
ACM
Data warehouses have been successfully employed for assisting decision making by offering a global view of the enterprise data and providing mechanisms for On-Line Analytical proc...
171
Voted
EDBT
2002
ACM
16 years 3 months ago
2002
ACM
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...
136
Voted
EDBT
2008
ACM
2008
ACM
iDataGuard: middleware providing a secure network drive interface to untrusted internet data storage
16 years 3 months ago
In this demonstration, we present the design and features of iDataGuard. iDataGuard is an interoperable security middleware that allows users to outsource their file systems to he...
141
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
134
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...