1895 search results - page 154 / 379 » Modular Functional Descriptions |
ICTAI
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper proposes a Distributed Open Semantic Elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities an...
PPOPP
2003
ACM
14 years 1 months ago
2003
ACM
To better manage the ever increasing complexity of LAM/MPI, we have created a lightweight component architecture for it that is specifically designed for high-performance message p...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
EUROCAST
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
EUROCRYPT
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...