4258 search results - page 464 / 852 » Languages and Interactive Software Development |
133
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
150
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
135
Voted
JLP
2006
15 years 4 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
137
click to vote
RML
2002
15 years 4 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
154
click to vote
IMCSIT
2010
15 years 2 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...