5415 search results - page 277 / 1083 » The Implementation of Functional Programming Languages |
108
click to vote
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
122
click to vote
IFIP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...
107
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
124
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...