2608 search results - page 195 / 522 » Subjects, Models, Languages, Transformations |
184
click to vote
ATAL
2005
Springer
16 years 20 hour ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
272
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
205
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
158
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
177
click to vote
ACL
2003
15 years 7 months ago
2003
Ordering information is a critical task for natural language generation applications. In this paper we propose an approach to information ordering that is particularly suited for ...