1288 search results - page 77 / 258 » On Analysis of Design Component Contracts: A Case Study |
DATE
2009
IEEE
15 years 6 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...
JASIS
2006
14 years 11 months ago
2006
The aggregated citation relations among journals included in the Science Citation Index provide us with a huge matrix which can be analyzed in various ways. Using principal compon...
SIGECOM
2009
ACM
15 years 6 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 1 days 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...
GD
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...