1757 search results - page 51 / 352 » Integrating and Extending JCSP |
TCS
2008
13 years 9 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
JNW
2007
13 years 9 months ago
2007
—Real time traffic adopting UDP at the transport layer needs some quality of service. It is offered through an admission control scheme. This paper adopts one such scheme which i...
VR
2008
IEEE
13 years 9 months ago
2008
IEEE
It is widely recognized that inertial sensors, in particular gyroscopes, can improve the latency and accuracy of orientation tracking by fusing the inertial measurements with data...
CSCWD
2009
Springer
14 years 2 months ago
2009
Springer
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
BMCBI
2008
13 years 9 months ago
2008
Background: Gene expression profiling has the potential to unravel molecular mechanisms behind gene regulation and identify gene targets for therapeutic interventions. As microarr...