837 search results - page 155 / 168 » Tools for domain-based policy management of distributed syst... |
100
Voted
SOSE
2006
IEEE
15 years 5 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
93
Voted
GROUP
2005
ACM
15 years 5 months ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
93
Voted
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
113
click to vote
SAFECOMP
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
110
Voted
SCP
2008
14 years 11 months ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...