5210 search results - page 729 / 1042 » Tools for Distributed Facilitation |
198
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
184
click to vote
MIDDLEWARE
2004
Springer
16 years 3 days ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
165
click to vote
ASAP
2003
IEEE
16 years 1 days ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
223
click to vote
CLUSTER
2003
IEEE
16 years 1 days ago
2003
IEEE
At UCLA's Plasma Physics Group, to achieve accessible computational power for our research goals, we developed the tools to build numerically-intensive parallel computing clu...
144
click to vote
DISCEX
2003
IEEE
16 years 1 days ago
2003
IEEE
Coalitions are collaborative networks of autonomous domains where resource sharing is achieved by the distribution of access permissions to coalition members based on negotiated r...