3429 search results - page 311 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
141
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
131
Voted
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
132
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
121
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...
128
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...