Sciweavers

2180 search results - page 166 / 436
» Self-Adaptation in Evolving Systems
Sort
View
ACSAC
2006
IEEE
16 years 15 days ago
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew Mc...
CCGRID
2006
IEEE
16 years 14 days ago
WS-Messenger: A Web Services-Based Messaging System for Service-Oriented Grid Computing
—A Web services-based publish/subscribe system has the potential to create an Internet scale interoperable event notification system which is important for Grid computing as it e...
Yi Huang, Aleksander Slominski, Chathura Herath, D...
FSTTCS
2005
Springer
15 years 12 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
GECCO
2005
Springer
174views Optimization» more  GECCO 2005»
15 years 12 months ago
Emergence of communication in competitive multi-agent systems: a pareto multi-objective approach
In this paper we investigate the emergence of communication in competitive multi-agent systems. A competitive environment is created with two teams of agents competing in an explo...
Michelle McPartland, Stefano Nolfi, Hussein A. Abb...
CSCW
2004
ACM
15 years 12 months ago
Behind the help desk: evolution of a knowledge management system in a large organization
This paper examines the way in which a knowledge management system (KMS)—by which we mean the people, processes and software—came into being and evolved in response to a varie...
Christine Halverson, Thomas Erickson, Mark S. Acke...