632 search results - page 16 / 127 » C and C Style Guides |
COORDINATION
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
AMAST
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
MMM
1998
Springer
15 years 1 months ago
1998
Springer
This paper discusses the implementation of adaptability in environments that are based on the Standard Reference Model for Intelligent Multimedia Presentation Systems. This adapta...
367
click to vote
Lab
MITK stands for Medical Imaging ToolKit. It is a C++ library for integrated medical image processing and analyzing developed by the Medical Image Processing Group (guided by Dr. Ti...
IPSN
2007
Springer
15 years 3 months ago
2007
Springer
This paper proposes a new application framework for group tour guiding services based on RFIDs and wireless sensor network. We consider a sensing field mixed with multiple indepe...