592 search results - page 3 / 119 » Can Component Service-Based Systems Be Proved Correct |
HPDC
2002
IEEE
13 years 10 months ago
2002
IEEE
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...
JNW
2007
13 years 5 months ago
2007
Abstract— This paper presents a gentle system for supervising care-support services that fulfill users’ actual requirements based on their physical locations and statuses of s...
FASE
2005
Springer
13 years 11 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
MEMOCODE
2010
IEEE
13 years 3 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
JSS
2007
13 years 5 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...