Sciweavers

4350 search results - page 312 / 870
» Case studies for contract-based systems
Sort
View
EUROSSC
2008
Springer
15 years 8 months ago
Using Aesthetic and Empathetic Expressions to Motivate Desirable Lifestyle
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...
Tatsuo Nakajima, Hiroaki Kimura, Tetsuo Yamabe, Vi...
CCGRID
2011
IEEE
14 years 10 months ago
Towards Real-Time, Volunteer Distributed Computing
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...
Sangho Yi, Emmanuel Jeannot, Derrick Kondo, David ...
CISS
2011
IEEE
14 years 10 months ago
On linear processing for dual-hop multi-channel relaying
—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...
Min Dong, Mahdi Hajiaghayi, Ben Liang
OSDI
2006
ACM
16 years 7 months ago
Type-Safe Disks
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...
Gopalan Sivathanu, Swaminathan Sundararaman, Erez ...
SIGSOFT
1998
ACM
15 years 11 months ago
On-Line Change Mechanisms
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...
Sylvia Stuurman, Jan van Katwijk