Sciweavers

981 search results - page 157 / 197
» Semantics for an Agent Communication Language
Sort
View
ECAL
1999
Springer
15 years 8 months ago
Modeling Categorization Dynamics through Conversation by Constructive Approach
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
Takashi Hashimoto
ICFP
2003
ACM
16 years 4 months ago
Dynamic rebinding for marshalling and update, with destruct-time?
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
Gavin M. Bierman, Michael W. Hicks, Peter Sewell, ...
RWEB
2005
Springer
15 years 9 months ago
Evolution and Reactivity for the Web
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
José Júlio Alferes, Wolfgang May
ESOP
2008
Springer
15 years 6 months ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
IFIP
2005
Springer
15 years 9 months ago
Recovering Digital Evidence from Linux Systems
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...
Philip Craiger