4469 search results - page 136 / 894 » A Language for Role Specifications |
125
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
It is well known that perspective alignment plays a major role in the planning and interpretation of spatial language. In order to understand the role of perspective alignment and...
121
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
113
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
117
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
146
click to vote
AI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...