Sciweavers

9370 search results - page 16 / 1874
» An Abstract Notion of Application
Sort
View
FORTE
2003
13 years 11 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
ICSM
2008
IEEE
14 years 4 months ago
Software tag for traceability and transparency of maintenance
We have proposed the notion of software tag, which is a complex of various characteristic elements of software development project. Empirical data for the is collected and abstrac...
Katsuro Inoue
KES
2005
Springer
14 years 3 months ago
Weak Key Analysis and Micro-controller Implementation of CA Stream Ciphers
Abstract. In the paper we extend known results studying the application of CAs for stream ciphers. We illustrate the notion of weak keys in such a cryptosystem and describe the exp...
Pascal Bouvry, Gilbert Klein, Franciszek Seredynsk...
AML
2006
85views more  AML 2006»
13 years 10 months ago
Arithmetical Sacks Forcing
Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical ...
Rod Downey, Liang Yu
DEXA
2007
Springer
89views Database» more  DEXA 2007»
14 years 4 months ago
Dependency Management for the Preservation of Digital Information
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
Yannis Tzitzikas