637 search results - page 50 / 128 » A configurable reference modelling language |
MONTEREY
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
126
click to vote
SCSC
2007
15 years 1 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
ENTCS
2006
14 years 11 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
SPEECH
2002
14 years 11 months ago
2002
In this paper we present a hypothesis-verification approach for a Spanish Recognizer of continuously spelled names over the telephone. We give a detailed description of the spelli...
108
click to vote
WOODPECKER
2001
15 years 1 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...