10038 search results - page 1590 / 2008 » Model Checking for Managers |
156
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
We try to analyze a generic model for 2-tier distributed systems, exploring the possibility of optimal cluster sizes from an information management perspective, such that the over...
168
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
172
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
A recently proposed active queue management, CHOKe, aims to protect TCP from UDP flows. Simulations have shown that as UDP rate increases, its bandwidth share initially rises but...
193
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
169
click to vote
AIME
2003
Springer
15 years 12 months ago
2003
Springer
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...