Sciweavers

5210 search results - page 313 / 1042
» Tools for Distributed Facilitation
Sort
View
COLCOM
2008
IEEE
15 years 8 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
DSS
2007
100views more  DSS 2007»
15 years 6 months ago
TeamSpirit: Design, implementation, and evaluation of a Web-based group decision support system
Distributed teams can carry out critical tasks with appropriate decision support technologies. The architecture and detailed design of a Web-based GDSS, called TeamSpirit, are dis...
Minder Chen, Yiching Liou, Ching-Wen Wang, Yi-Wen ...
SAC
2006
ACM
16 years 19 days ago
STRUDEL: supporting trust in the dynamic establishment of peering coalitions
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
Daniele Quercia, Manish Lad, Stephen Hailes, Licia...
CONCUR
2000
Springer
15 years 11 months ago
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
FGCS
2008
134views more  FGCS 2008»
15 years 6 months ago
Large scale agent-based simulation on the grid
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
Dan Chen, Georgios K. Theodoropoulos, Stephen John...