226 search results - page 14 / 46 » An Explicit Framework for Interaction Nets |
IADIS
2003
15 years 1 months ago
2003
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...
IEEECIT
2005
IEEE
15 years 5 months ago
2005
IEEE
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...
112
click to vote
AIPRF
2007
15 years 1 months ago
2007
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
COORDINATION
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
110
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...