15421 search results - page 112 / 3085 » Dependability |
MICAI
2004
Springer
14 years 2 months ago
2004
Springer
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...
CODES
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
ATAL
2006
Springer
14 years 17 days ago
2006
Springer
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
BIRTHDAY
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...