1713 search results - page 233 / 343 » On the Importance of Being Quantum |
SAFECOMP
2010
Springer
14 years 7 months ago
2010
Springer
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...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
106
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
WCET
2010
14 years 7 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
AINA
2009
IEEE
14 years 7 months ago
2009
IEEE
Improvements at the physical network layer have enabled technologies such as 10 Gigabit Ethernet. Single core end-systems are unable to fully utilise these networks, due to limite...