2021 search results - page 295 / 405 » COCO: Composition Model and Composition Model Implementation |
174
Voted
ICMI
2003
Springer
15 years 10 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
161
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
149
Voted
ICSE
2010
IEEE-ACM
15 years 9 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...
141
Voted
CBSE
2006
Springer
15 years 8 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...
132
click to vote
IDEAS
1997
IEEE
15 years 8 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...