196 search results - page 32 / 40 » Specification Diagrams for Actor Systems |
LISA
2007
14 years 12 months ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
100
click to vote
TABLEAUX
1998
Springer
15 years 1 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
Although virtual organizations and networks have been studied for quite some time, there is still need for research regarding their inner dynamics and the mechanisms of leadership...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Business objects are object-oriented representations of the concepts of interest in an organization, such as activities, resources and actors. Business objects collaborate with on...
ANSS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...