Sciweavers

2173 search results - page 268 / 435
» The Evolution of the DARWIN System
Sort
View
89
Voted
SOCO
2005
Springer
15 years 6 months ago
On the Revival of Dynamic Languages
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
Oscar Nierstrasz, Alexandre Bergel, Marcus Denker,...
94
Voted
EWSA
2004
Springer
15 years 6 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
97
Voted
FSTTCS
2004
Springer
15 years 6 months ago
A Calculus for Trust Management
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
102
Voted
IWPSE
2003
IEEE
15 years 6 months ago
The Chaos of Software Development
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
Ahmed E. Hassan, Richard C. Holt
114
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
Understanding SQL through Iconic Interfaces
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
Lerina Aversano, Gerardo Canfora, Andrea De Lucia,...