4350 search results - page 312 / 870 » Case studies for contract-based systems |
186
click to vote
EUROSSC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In recent years, the deteriorations of living habits like immobilization or unhealthy diet are becoming serious social problems in many developed countries. Even if we kn...
205
click to vote
CCGRID
2011
IEEE
14 years 10 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...
215
click to vote
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
—In this paper, we consider the amplified-and-forward relaying in a multichannel system with linear processing capability at the relay. We propose an analytical approach to stud...
167
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
171
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...