2255 search results - page 71 / 451 » High Assurance Software Systems |
DAGM
2005
Springer
14 years 2 months ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
OTM
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we want to show which difficulties arise when automatically constructing a domain-independent knowledge base from the web. We show possible applications for such a k...
JPDC
2007
13 years 8 months ago
2007
This paper is proposing a new platform for implementing services in future service oriented architectures. The basic premise of our proposal is that by combining large volume of u...
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
SEUS
2005
IEEE
14 years 2 months ago
2005
IEEE
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...