6306 search results - page 281 / 1262 » Space, Time, and the Use of Language |
174
click to vote
ESOP
2000
Springer
15 years 11 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
234
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
174
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
255
click to vote
TRETS
2010
15 years 5 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
206
click to vote
ECAIW
1994
Springer
15 years 11 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...