3815 search results - page 56 / 763 » An Implementation of Session Types |
SELMAS
2004
Springer
14 years 1 months ago
2004
Springer
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, poin...
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
ADBIS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Integration of text and documents into database management systems has been the subject of much research. However, most of the approaches are limited to data retrieval. C...
JAVA
1999
Springer
14 years 5 days ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...