3729 search results - page 289 / 746 » On Formal Modeling of Agent Computations |
154
click to vote
SOFSEM
2007
Springer
16 years 23 days ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
284
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
145
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
Kinds of load balancing middleware have already been applied successfully in distributed computing. However, they don’t take the services types into consideration and for differe...
180
click to vote
ICDCSW
2005
IEEE
16 years 8 days ago
2005
IEEE
Recent researches have highlighted the importance of developing a network with distributed problem solving abilities thus enhancing reliability with equal share of network resourc...
179
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...