1729 search results - page 218 / 346 » Generic Haskell: Applications |
176
click to vote
RBAC
2000
15 years 7 months ago
2000
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This project addressed the conceptual fundamentals of data storage, investigating techniques for provision of highly generic storage facilities that can be tailored to produce var...
150
click to vote
SSDBM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. With the drastic increase of object trajectory data, the analysis and exploration of trajectories has become a major research focus with many applications. In particular,...
203
click to vote
MEMOCODE
2008
IEEE
16 years 23 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
177
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...