1156 search results - page 26 / 232 » Compositional Methods for Information-Hiding |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
AMAST
2004
Springer
14 years 29 days ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
IEEESCC
2009
IEEE
14 years 2 months ago
2009
IEEE
—The easiest way for a user to express his needs regarding a desired service is to use natural language. The main issues come from the fact that the natural language is incomplet...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...