1072 search results - page 72 / 215 » Innovation as language action |
IFIP
2001
Springer
14 years 1 months ago
2001
Springer
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
DNA
2007
Springer
14 years 3 months ago
2007
Springer
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...
ICALP
1999
Springer
14 years 1 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
COORDINATION
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
AAAI
1998
13 years 10 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...