3624 search results - page 386 / 725 » Abstract Algebraic Logic |
164
click to vote
CD
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
255
Voted
FAABS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
196
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
167
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
173
Voted
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...