Sciweavers

10718 search results - page 815 / 2144
» On the Circuit Implementation Problem
Sort
View
COMPSAC
2001
IEEE
15 years 11 months ago
Certificate Based Authorization Simulation System
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
Jie Dai, Jim Alves-Foss
ICDE
2000
IEEE
82views Database» more  ICDE 2000»
15 years 11 months ago
Generalized Isolation Level Definitions
Commercial databases support different isolation levels to allow programmers to trade off consistency for a potential gain in performance. The isolation levels are defined in the ...
Atul Adya, Barbara Liskov, Patrick E. O'Neil
LPAR
2000
Springer
15 years 11 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye
191
Voted
SAFECOMP
2000
Springer
15 years 11 months ago
Expert Error: The Case of Trouble-Shooting in Electronics
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...
Denis Besnard
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 11 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana