Sciweavers

2375 search results - page 407 / 475
» Towards a Theory of Services
Sort
View
ICLP
2010
Springer
15 years 10 months ago
Bisimilarity in Concurrent Constraint Programming
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Andres A. Aristizabal P.
DGO
2008
96views Education» more  DGO 2008»
15 years 7 months ago
Laying the foundations for public participation and value advocacy: interaction design for a large scale urban simulation
Supporting public participation is often a key goal in the design of digital government systems. However, years of work may be required before a complex system, such as the UrbanS...
Batya Friedman, Alan Borning, Janet Davis, Brian T...
ECIS
2000
15 years 7 months ago
Virtual Organizations: The Business Design for the Twenty-First Century
The growing prominence of virtual organizations, such as Dell and Amazon.Com, has demonstrated the potential for virtual governance structures to achieve greater competitiveness th...
Choon-Ling Sia
IJCAI
1989
15 years 7 months ago
Formal Properties and Implementation of Bidirectional Charts
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
Giorgio Satta, Oliviero Stock
APAL
2010
115views more  APAL 2010»
15 years 6 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev