66 search results - page 2 / 14 » Congruence from the Operator's Point of View: Compositionali... |
COLCOM
2009
IEEE
13 years 9 months ago
2009
IEEE
—Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation poin...
IFIPTCS
2010
13 years 2 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
TES
2001
Springer
13 years 9 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
JUCS
2010
12 years 11 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...