19003 search results - page 312 / 3801 » We Need Assurance |
151
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
138
click to vote
HOTOS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper motivates the need for a session state storage layer. Session state is used in a large class of applications. Existing session state storage solutions often rely on ad-...
149
click to vote
ISWC
2003
IEEE
16 years 16 hour ago
2003
IEEE
As mobile and wearable technology has evolved, an increasing need for indoor positioning has arisen. In particular, the use of ultrasonics provides a cheap way to fulfil this nee...
166
click to vote
SAINT
2003
IEEE
16 years 12 hour ago
2003
IEEE
Web service technologies promise to facilitate collaboration among business partners by helping potential business partners find one another and integrate their business processe...
169
click to vote
DPPI
2003
ACM
16 years 2 hour ago
2003
ACM
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...