Sciweavers

Share
POST
2012
218views more  POST 2012»
6 years 12 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
POPL
2012
ACM
6 years 12 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
AIIA
2011
Springer
7 years 4 months ago
An Interaction-Oriented Agent Framework for Open Environments
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
8 years 4 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan
CL
2007
Springer
8 years 4 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
CACM
2006
160views more  CACM 2006»
8 years 4 months ago
Service systems, service scientists, SSME, and innovation
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
Paul P. Maglio, Savitha Srinivasan, Jeffrey T. Kre...
ENTCS
2008
110views more  ENTCS 2008»
8 years 4 months ago
Modelling Devices for Natural Interaction
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
Alan J. Dix, Masitah Ghazali, Devina Ramduny-Ellis
ENTCS
2008
135views more  ENTCS 2008»
8 years 4 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
AIL
2008
103views more  AIL 2008»
8 years 4 months ago
A dialogical theory of presumption
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...
Douglas Walton
DAGSTUHL
2007
8 years 5 months ago
Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
The purpose is to explore how norm-governed behavior within agent societies can be achieved in the context of Virtual Enterprises. We analyze a number of formal models from the age...
Paul Davidsson, Andreas Jacobsson
books