4008 search results - page 580 / 802 » An expressive language of signatures |
155
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Autonomous agents can help users by taking on a substantial workload, and performing tasks that are too complex for a human. However, in some systems complete autonomy is undesira...
178
click to vote
BPM
2004
Springer
15 years 12 months ago
2004
Springer
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
174
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
146
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
158
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...