196 search results - page 25 / 40 » Widening Operators for Abstract Interpretation |
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
ILP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
FC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...
IEAAIE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...