3346 search results - page 63 / 670 » A Generic Rendering System |
ENTCS
2007
13 years 10 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
CP
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
– Future wireless cellular networks such as High Speed Downlink Packet Access (HSDPA) and 1x EVolution Data Optimized (1xEV-DO) promise to revolutionize the mobile user’s wirel...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Today, component oriented middlewares are used to design, develop and deploy distributed applications easily. They ensure the heterogeneity, interoperability, and reuse of software...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...