4350 search results - page 240 / 870 » Case studies for contract-based systems |
181
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
218
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
180
click to vote
RTCSA
2008
IEEE
16 years 29 days ago
2008
IEEE
Cache partitioning techniques have been proposed in the past as a solution for the cache interference problem. Due to qualitative differences with general purpose platforms, real-...
189
Voted
ISCI
2007
15 years 6 months ago
2007
Digital video recorder (DVR) systems are novel security products with significant potential for application in the surveillance market, which, like many other areas of security t...
205
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...