7918 search results - page 405 / 1584 » Model Composition Directives |
172
Voted
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
168
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
156
click to vote
IDEAS
1997
IEEE
15 years 10 months ago
1997
IEEE
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
202
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
164
click to vote
FMOODS
2006
15 years 7 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...