23406 search results - page 4344 / 4682 » Architecture, Design, Implementation |
161
click to vote
ERCIMDL
2005
Springer
16 years 7 days ago
2005
Springer
The OAI protocol facilitates the aggregation of large numbers of heterogeneous metadata records. In order to make harvested records useable in the context of an OAI service provide...
171
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
197
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
214
click to vote
LOPSTR
2005
Springer
16 years 6 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
151
click to vote
SCOPES
2005
Springer
16 years 6 days ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...