8008 search results - page 400 / 1602 » Computer-Aided Language Processing |
181
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
114
click to vote
PUC
2006
15 years 4 months ago
2006
In the realm of product design, communication between designer, client, design team and future users is of great importance. Throughout the design process, ideas and concepts are g...
129
click to vote
IJFCS
2007
15 years 4 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
194
click to vote
IPMI
2011
Springer
14 years 8 months ago
2011
Springer
In this paper we construct an atlas that captures functional characteristics of a cognitive process from a population of individuals. The functional connectivity is encoded in a lo...