4963 search results - page 757 / 993 » Implementing a Categorical Information System |
208
click to vote
WLP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
209
click to vote
MM
2004
ACM
16 years 21 days ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
237
click to vote
VEE
2010
ACM
16 years 18 days ago
2010
ACM
Crash dump, or core dump is the typical way to save memory image on system crash for future offline debugging and analysis. However, for typical server machines with likely abund...
222
click to vote
SACMAT
2003
ACM
16 years 16 days ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
221
click to vote
PLDI
2010
ACM
16 years 11 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...