3729 search results - page 274 / 746 » On Formal Modeling of Agent Computations |
211
click to vote
IJWMC
2010
15 years 3 months ago
2010
Coverage, fault tolerance and power consumption constraints make optimal placement of mobile sensors or other mobile agents a hard problem. We have developed a model for describin...
167
click to vote
HPDC
2005
IEEE
16 years 7 days ago
2005
IEEE
Interest in Grid computing has grown significantly over the past five years. Management of distributed cluster resources is a key issue in Grid computing. Central to management ...
173
click to vote
ACMICEC
2004
ACM
16 years 1 days ago
2004
ACM
Supply Chain Management deals with the planning and coordination of bidding, production and procurement activities across the multiple organizations involved in the delivery of on...
189
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
194
Voted
CCS
2005
ACM
16 years 5 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...