8446 search results - page 1266 / 1690 » A Process Compensation Language |
210
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
185
click to vote
JFP
2010
15 years 4 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
162
click to vote
SCP
2010
15 years 4 months ago
2010
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
246
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
In co-located software development, diagramming practices, such as sketching ideas out with a pen and paper, support the creative process and allow designers to shape, analyze, an...
213
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...