Sciweavers

438 search results - page 20 / 88
» Automated Service Level Reporting: Experience of Implementat...
Sort
View
MM
2005
ACM
121views Multimedia» more  MM 2005»
14 years 2 months ago
Impact of incentive mechanisms on quality of experience
Since entities participating in P2P networks are usually autonomous and therefore free to decide on their level of participation, mechanisms to resolve conflicts between individu...
Andrew Roczniak, Abdulmotaleb El-Saddik
SAFECOMP
2010
Springer
13 years 7 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
PDP
2002
IEEE
14 years 2 months ago
A Jini Framework for Distributed Service Flexibility
Existing distributed middleware technologies and Enterprise Application frameworks lack in support to service flexibility from both the developer’s and user’s point of view. ...
Domenico Cotroneo, Cristiano di Flora, Stefano Rus...
APCSAC
2003
IEEE
14 years 2 months ago
User-Level Management of Kernel Memory
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...
Andreas Haeberlen, Kevin Elphinstone
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
14 years 1 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...