2661 search results - page 357 / 533 » A Semantics for Abstraction |
158
click to vote
ICESS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
176
click to vote
ICWE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
143
click to vote
IEAAIE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
149
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
161
click to vote
MKM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...