1402 search results - page 186 / 281 » A Practical Agent Programming Language |
112
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
101
click to vote
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
109
Voted
PLDI
1993
ACM
15 years 6 months ago
1993
ACM
An implementation of interprocedural constant propagation must model the transmission of values through each procedure. In the framework proposed by Callahan, Cooper, Kennedy, and...
108
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
121
Voted
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...