6054 search results - page 166 / 1211 » Implementation of Andorra-based Languages |
144
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
158
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
135
click to vote
ICECCS
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
160
click to vote
POLICY
2007
Springer
16 years 11 days ago
2007
Springer
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
144
click to vote
IEEEARES
2006
IEEE
16 years 8 days ago
2006
IEEE
We present a novel approach for the implementation of efficient and dependable web service engines (WSEs). A WSE instance represents a single node in a distributed network of par...