3729 search results - page 691 / 746 » On Formal Modeling of Agent Computations |
161
click to vote
LICS
2009
IEEE
16 years 21 days ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
157
click to vote
ADBIS
2009
Springer
16 years 20 days ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
160
click to vote
CHIMIT
2009
ACM
16 years 17 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
175
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
149
click to vote
GPCE
2007
Springer
16 years 6 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...