Sciweavers

4166 search results - page 428 / 834
» A modular module system
Sort
View
SACMAT
2006
ACM
16 years 20 days 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
16 years 9 days 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
16 years 8 days 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
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
16 years 7 days ago
The Push3 execution stack and the evolution of control
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
Lee Spector, Jon Klein, Maarten Keijzer
161
Voted
GI
2004
Springer
16 years 3 days 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