2036 search results - page 3 / 408 » A generic type-and-effect system |
ATC
2007
Springer
13 years 9 months ago
2007
Springer
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a general architecture towards a more generic approach to conversational agents. Our architecture contains generic (in sense of application independent) natura...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
AUTONOMICS
2009
ACM
14 years 2 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
SETP
2007
13 years 9 months ago
2007
—In this paper, we have evolved a generic software architecture for a domain specific distributed embedded system. The system under consideration belongs to the Command, Control ...