Sciweavers

7452 search results - page 1166 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
KBSE
2003
IEEE
16 years 20 hour ago
XRay Views: Understanding the Internals of Classes
Understanding the internal workings of classes is a key prerequisite to maintaining an object-oriented software system. Unfortunately, classical editing and browsing tools offer m...
Gabriela Arévalo, Stéphane Ducasse, ...
UIST
2003
ACM
16 years 2 hour ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet
ASP
2003
Springer
15 years 12 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke
BIRTHDAY
2003
Springer
15 years 12 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
CCS
2003
ACM
15 years 12 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
« Prev « First page 1166 / 1491 Last » Next »