6031 search results - page 823 / 1207 » Communicating Transaction Processes |
178
click to vote
FORTE
1996
15 years 8 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
146
click to vote
NAACL
1994
15 years 8 months ago
1994
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
147
click to vote
WICSA
2007
15 years 7 months ago
2007
Multi-site development organizations require coordination and communication efforts between different sites to ensure successful distributed development. These efforts need to be ...
201
Voted
AMI
2008
Springer
15 years 7 months ago
2008
Springer
The challenging context of Ambient Assisted Living (AAL) demands for a service-oriented technological shift in the field of ubiquitous computing. Recently, novel paradigms have be...
154
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Scenarios are pen-pictures of plausible futures, used for strategic planning. The aim of this investigation is to expand the horizon of scenario-based planning through computation...