Sciweavers

3844 search results - page 301 / 769
» Modular interpreted systems
Sort
View
SACMAT
2006
ACM
15 years 10 months ago
Towards reasonability properties for access-control policy languages
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
Michael Carl Tschantz, Shriram Krishnamurthi
SEFM
2005
IEEE
15 years 10 months ago
Safe Concurrency for Aggregate Objects with Invariants
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
Bart Jacobs 0002, Frank Piessens, K. Rustan M. Lei...
ATAL
2005
Springer
15 years 10 months ago
Negotiating agents: from full autonomy to dynamic degrees of delegation
The modularization of negotiating agents as proposed by the C-IPS approach provides a sound base for a concept that we call dynamic degrees of delegation. Agents following this co...
Diemo Urbig, Kay Schröter
GI
2004
Springer
15 years 10 months ago
Personalized Mobile Multimedia meets Location-Based Services
: When traveling and visiting new places, tourists are mobile as they wander around and follow tours through cities and landscapes. Location-based mobile systems today typically pr...
Susanne Boll, Jens Krösche, Ansgar Scherp
EDOC
2003
IEEE
15 years 9 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...