Sciweavers

6769 search results - page 377 / 1354
» A new concept of robustness
Sort
View
OOPSLA
1990
Springer
15 years 11 months ago
Type Substitution for Object-Oriented Programming
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
Jens Palsberg, Michael I. Schwartzbach
KR
2000
Springer
15 years 10 months ago
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
Volker Haarslev, Ralf Möller
155
Voted
ACHI
2009
IEEE
15 years 10 months ago
Quality Characteristics of Collaborative Systems
This paper describe the new concepts of collaborative systems metrics validation. The paper define the quality characteristics of collaborative systems. There are proposed a metri...
Ion Ivan, Cristian Ciurea
CIMCA
2008
IEEE
15 years 8 months ago
Web Services Composition: Mashups Driven Orchestration Definition
On the one hand, mashups are a new kind of web application built upon the composition of different resources in a user-friendly way. Tools based on such concepts focus on graphic ...
Sébastien Mosser, Franck Chauvel, Mireille ...
DAGSTUHL
2007
15 years 8 months ago
Block and Stream Ciphers and the Creatures in Between
In this paper we define a notion of leak extraction from a block cipher. We demonstrate this new concept on an example of AES. A result is LEX: a simple AES-based stream cipher wh...
Alex Biryukov