10899 search results - page 258 / 2180 » The GP Programming System |
159
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
160
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
140
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
149
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
138
click to vote
WCRE
2000
IEEE
15 years 9 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...