Sciweavers

2859 search results - page 235 / 572
» A Programming Environment for Bousi-Prolog
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
An Event-Based Coordination Model for Context-Aware Applications
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
Angel Núñez, Jacques Noyé
OMER
2001
15 years 8 months ago
Implementing Function Block Adapters
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
Torsten Heverhagen, Rudolf Tracht
DYNAMO
2000
87views more  DYNAMO 2000»
15 years 8 months ago
Overcoming the Challenges to Feedback-Directed Optimization
Feedback-directed optimization (FDO) is a general term used to describe any technique that alters a program's execution based on tendencies observed in its present or past ru...
Michael D. Smith
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
LPE
1997
15 years 8 months ago
Visualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
Ulrich Neumerkel, Christoph Rettig, Christian Scha...