2776 search results - page 308 / 556 » System-Level Abstraction Semantics |
197
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
164
Voted
ICCBR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper summarises our work in textual Case-Based Reasoning within jCOLIBRI. We use Information Extraction techniques to annotate web pages to facilitate semantic retr...
191
Voted
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
177
click to vote
ICDCIT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
179
click to vote
MATA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...