1418 search results - page 30 / 284 » The Dynamic Complexity of Formal Languages |
123
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
118
click to vote
ACL
1994
15 years 3 months ago
1994
This paper shows how to formally characterize language learning in a finite parameter space as a Markov structure, hnportant new language learning results follow directly: explici...
116
click to vote
CPAIOR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
105
click to vote
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...