2558 search results - page 169 / 512 » Model Composition Contracts |
127
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
136
click to vote
ESAW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. For over a decade, agent research has shown that social commitments support the definition of open multiagent systems by capturing the responsibilities that agents contr...
145
click to vote
FPCA
1995
15 years 8 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
173
click to vote
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...