2558 search results - page 460 / 512 » Model Composition Contracts |
133
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
121
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
153
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
138
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
Web Services (WSs) are a new breed of web application that have brought out quite challenging research issues. One of these is the establishment of an interoperable semantic frame...
122
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes issues and consideration on authoring of interactive multi-view visual content based on MPEG-4. The issues include types of multi-view visual content; functio...