1179 search results - page 114 / 236 » Should Superclasses be Abstract |
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
JCST
2010
13 years 2 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
STOC
2006
ACM
14 years 8 months ago
2006
ACM
Many approximation algorithms have been presented in the last decades for hard search problems. The focus of this paper is on cryptographic applications, where it is desired to de...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data ...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Assistive mobile robots that can navigate autonomously can greatly benefit people with mobility impairments. Since an assistive mobile robot transports a human user fr...