7121 search results - page 1261 / 1425 » Functions as Session-Typed Processes |
211
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
214
Voted
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Protein structure prediction aims to determine the three-dimensional structure of proteins form their amino acid sequences. When a protein does not have similarity (homology) to a...
225
click to vote
WECWIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
203
click to vote
IPSN
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a sensor network approach to tracking a single object in the presence of static and moving occluders using a network of cameras. To conserve communication ban...
189
click to vote
IPSN
2007
Springer
16 years 1 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...