4350 search results - page 546 / 870 » Case studies for contract-based systems |
169
Voted
MSR
2009
ACM
16 years 1 months ago
2009
ACM
For popular software systems, the number of daily submitted bug reports is high. Triaging these incoming reports is a time consuming task. Part of the bug triage is the assignment...
133
Voted
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
149
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper shows how lightpath-based networks can allow challenging, fine-grained parallel supercomputing applications to be run on a grid, using parallel retrograde analysis on ...
179
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This project uses empirical data to provide insights into the impact of open standards. This work moves beyond the existing literature by considering a large number of open standa...
159
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe self-assembling robot arm systems composed of active modular robots and passive bars. We present a case study where the robotic module is the Shady3D robot and the ...