7918 search results - page 116 / 1584 » Model Composition Directives |
107
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
103
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...
97
Voted
AIPS
2006
15 years 2 months ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
102
Voted
IEEESCC
2006
IEEE
15 years 6 months ago
2006
IEEE
End-user service composition is a promising way to ensure flexible, quick and personalized information provision and utilization, and consequently to better cope with spontaneous ...
OTM
2005
Springer
15 years 6 months ago
2005
Springer
The emergence of fully-automated Web service composition as a potential facilitator of both eBusiness and ambient or ubiquitous computing is to be welcomed. However this emergence ...