2448 search results - page 126 / 490 » The Octahedron Abstract Domain |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
CBSE
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
JELIA
2010
Springer
13 years 6 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
PAAMS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Smart environments include context-aware computing to enhance system capabilities which affect user interaction positively. A context-aware application should collect con...
SAFECOMP
2010
Springer
13 years 6 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...