505 search results - page 43 / 101 » Universal Constructions for Large Objects |
137
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractThe impact of the use of mobile devices by means of GPRS (General Packet Radio Service) technology to access environmental information in real time, provided by sensors str...
132
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
131
click to vote
VRST
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...
111
click to vote
FOCS
1992
IEEE
15 years 8 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
135
click to vote
ENTCS
2008
15 years 4 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...