2558 search results - page 109 / 512 » Model Composition Contracts |
101
click to vote
IJRR
2006
15 years 4 months ago
2006
Within braided pneumatic Muscle Actuators (pMA) the braid structure is vital to the actuator's performance, preventing over-inflation, converting radial expansion into axial ...
101
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...
144
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
125
click to vote
PTS
2008
15 years 5 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
140
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...