4987 search results - page 488 / 998 » Support Ordered Resolution |
287
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...
176
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
208
click to vote
ISHPC
1999
Springer
15 years 11 months ago
1999
Springer
Computer security is of growing importance in the increasingly networked computing environment.This work examines the issue of high-performance network security, specifically int...
182
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
177
click to vote
MICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...