909 search results - page 32 / 182 » Supporting dynamic composition of components |
JISE
2010
13 years 5 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
VSTTE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
MCS
2007
Springer
13 years 10 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
CONEXT
2008
ACM
14 years 22 days ago
2008
ACM
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay ne...
ECWEB
2000
Springer
14 years 3 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...