6054 search results - page 183 / 1211 » Implementation of Andorra-based Languages |
177
click to vote
OOPSLA
2004
Springer
16 years 10 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
181
Voted
AOSE
2005
Springer
16 years 16 days ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
214
Voted
GI
2005
Springer
16 years 15 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
193
Voted
WLP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
282
Voted
IWAN
2004
Springer
16 years 11 days ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...