3973 search results - page 597 / 795 » Records for Logic Programming |
121
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
135
Voted
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
117
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
121
Voted
ECBS
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
154
click to vote
TYPES
1998
Springer
15 years 8 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...