2036 search results - page 36 / 408 » A generic type-and-effect system |
ICTAI
2000
IEEE
14 years 1 hour ago
2000
IEEE
Knowledge refinement tools assist in the debugging and maintenance of knowledge based systems (KBSs) by attempting to identify and correct faults in the knowledge that account fo...
CC
2005
Springer
13 years 9 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
ENTCS
2006
13 years 7 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
We investigate a generic self-adaptation method to reduce the design effort for System-on-Chip (SoC). Previous self-adaptation solutions at chip-level use circuitries which have b...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a generic model for information security implementation in organizations. The model presented here is part of an ongoing research stream related to critical in...