666 search results - page 30 / 134 » Component-Based Design and Analysis: A Case Study |
102
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...
116
click to vote
SIGECOM
2009
ACM
15 years 8 months ago
2009
ACM
We study auctions for selling a limited supply of a single commodity in the case where the supply is known in advance and the case it is unknown and must be instead allocated in a...
ECTEL
2010
Springer
15 years 2 months ago
2010
Springer
As Technology Enhanced Learning (TEL) systems become more essential to education there is an increasing need for their creators to reduce risk and to design for success. We argue t...
111
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
131
click to vote
CJ
2004
15 years 1 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...