7529 search results - page 362 / 1506 » The Modula-3 Type System |
198
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...
154
click to vote
PDPTA
2003
15 years 8 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
181
click to vote
SOSP
1993
ACM
15 years 8 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
105
Voted
JUCS
2006
15 years 6 months ago
2006
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
168
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we study how the performance and usability of web dialogue systems could be enhanced by using an appropriate representation of the different types of knowledge invo...