2610 search results - page 311 / 522 » The Recognition Strategy Language |
165
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
197
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
149
click to vote
TIME
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
176
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
140
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
G-Portal is a web portal system providing a range of digital library services to access geospatial and georeferenced resources on the Web. Among them are the storage and query sub...