8706 search results - page 239 / 1742 » Learning Subjective Language |
DEBS
2007
ACM
14 years 1 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
ERLANG
2007
ACM
14 years 1 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
ACMACE
2008
ACM
13 years 11 months ago
2008
ACM
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...