4211 search results - page 729 / 843 » Types as Abstract Interpretations |
117
Voted
SOFSEM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
136
click to vote
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
159
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
122
Voted
DOOD
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
136
click to vote
DOOD
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Semistructured data has no absolute schema xed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigi...