4469 search results - page 347 / 894 » A Language for Role Specifications |
181
click to vote
EXTREME
2003
ACM
16 years 2 days ago
2003
ACM
Topic maps provide exciting opportunities not just to make information easier to find, but to increase the usability of software. In order to provide users with the information th...
169
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
160
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we introduce NUBIA, a middleware that combines, through business rules, information generated by heterogeneous and autonomous systems. Communication between NUBIA and...
172
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
177
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...