1129 search results - page 95 / 226 » From programming to modeling: our experience with a distribu... |
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
COMSWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
— Measuring real-time end-to-end network path performance metrics is important for several distributed applications such as media streaming systems (e.g., for switching to paths ...
VLDB
2007
ACM
14 years 3 months ago
2007
ACM
In this paper, we describe the challenges of prototyping a reference application on System S, a distributed stream processing middleware under development at IBM Research. With a ...
AGILEDC
2007
IEEE
14 years 3 months ago
2007
IEEE
The Agile Manifesto emphasizes customer collaboration over contract negotiation. No Extreme Programming practice embodies this more than onsite customer. This paper describes our ...
EWCBR
2004
Springer
14 years 2 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...