8874 search results - page 76 / 1775 » A New Implementation of Automath |
123
click to vote
EFDBS
2003
15 years 4 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
135
Voted
MSV
2004
15 years 4 months ago
2004
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...
139
Voted
WOA
2001
15 years 4 months ago
2001
Acting in a dynamic environment is a complex task that requires several issues to be investigated, with the aim of controlling the associated search complexity. In this paper, a l...
134
Voted
BIS
2009
15 years 4 months ago
2009
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
132
Voted
IJNSEC
2007
15 years 3 months ago
2007
Data-dependent (DD) permutations (DDP) are discussed as a cryptographic primitive for the design of fast hardware, firmware, and software encryption systems. DDP can be performed...