2108 search results - page 300 / 422 » An Operational Semantics for Stateflow |
110
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
128
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...
128
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
151
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
144
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...