1304 search results - page 255 / 261 » Model-Driven Engineering for Requirements Analysis |
124
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
CCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
119
click to vote
WISE
2002
Springer
15 years 4 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
101
click to vote
ICDT
2010
ACM
15 years 4 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...