1153 search results - page 16 / 231 » Compositional Specification Calculus for Information Systems... |
128
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
150
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
150
Voted
CADE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
133
Voted
GEOS
2007
Springer
15 years 9 months ago
2007
Springer
SDIs offer access to a wealth of distributed data sources through standardised service interfaces. Recently, also geoprocessing capabilities are offered as services in SDIs. Combin...
135
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...