10707 search results - page 1881 / 2142 » Designing executable abstractions |
184
click to vote
SIGIR
1998
ACM
15 years 11 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
195
click to vote
ESOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
214
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
182
click to vote
DFT
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
197
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported...