Sciweavers

1330 search results - page 149 / 266
» License-Aware Service Selection
Sort
View
ISORC
2005
IEEE
16 years 16 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ISCIS
2005
Springer
16 years 13 days ago
Admission Control for Multicast Routing with Quality of Service in Ad Hoc Networks
Ad hoc networks, being able to organize themselves without user intervention, can easily provide their users with mobility, multimedia support and group communication. However, the...
Kaan Bür, Cem Ersoy
SIGCSE
2004
ACM
86views Education» more  SIGCSE 2004»
16 years 11 days ago
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses
Rarely are the three pillars of academia—research, teaching, and service—addressed together, within one intellectually cohesive context in the graduate curriculum. Such a cont...
Paolo A. G. Sivilotti, Bruce W. Weide
SC
2003
ACM
16 years 5 days ago
Nondeterministic Queries in a Relational Grid Information Service
A Grid Information Service (GIS) stores information about the resources of a distributed computing environment and answers questions about it. We are developing RGIS, a GIS system...
Peter A. Dinda, Dong Lu
IEEEAMS
2002
IEEE
15 years 12 months ago
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
Christopher Dabrowski, Kevin L. Mills, Jesse Elder