Sciweavers

1704 search results - page 310 / 341
» Design of a Concurrent and Distributed Language
Sort
View
PET
2004
Springer
15 years 3 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
QSIC
2003
IEEE
15 years 2 months ago
A Dialog Control Framework for Hypertext-Based Applications
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
Matthias Book, Volker Gruhn
ATAL
2003
Springer
15 years 2 months ago
Role-assignment in open agent societies
Open systems are characterized by heterogeneous participants which can enter or leave the system at will. Typical examples are e-commerce applications or information agent systems...
Mehdi Dastani, Virginia Dignum, Frank Dignum
GPCE
2003
Springer
15 years 2 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf
ITCC
2002
IEEE
15 years 2 months ago
Bridging O-Telos and XML with XML Schema: the Authoring Environment for KBS Adaptive Hyperbook
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
Changtao Qu, Wolfgang Nejdl