4266 search results - page 717 / 854 » A Framework for Defining Logics |
166
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
171
click to vote
ACSW
2004
15 years 8 months ago
2004
Business processes are often likely to undergo drastic changes and hence the workflow systems that model, simulate and enact these processes should support the monitoring and cont...
168
click to vote
ACL
2006
15 years 8 months ago
2006
Certain distinctions made in the lexicon of one language may be redundant when translating into another language. We quantify redundancy among source types by the similarity of th...
161
click to vote
AVI
2006
15 years 8 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
149
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...