Sciweavers

2375 search results - page 300 / 475
» Towards a Theory of Services
Sort
View
ICSE
1994
IEEE-ACM
15 years 10 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
FOSSACS
2006
Springer
15 years 10 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
CSR
2008
Springer
15 years 8 months ago
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
Eric Allender
IE
2007
15 years 8 months ago
Place as media in pervasive games
By blurring the boundary between game fiction and reality, Pervasive Games impact the shared space of the city areas that they use as gaming platform. Drawing on notions of spatia...
Hugh Davies
AAAI
2010
15 years 8 months ago
Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination
As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously ...
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey ...