3595 search results - page 243 / 719 » Roles of Program Extension |
127
click to vote
OOPSLA
1992
Springer
15 years 10 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
161
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
187
click to vote
DLOG
2007
15 years 8 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
165
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
We show how to find a normal form proper equilibrium in behavior strategies of a given two-player zero-sum extensive form game with imperfect information but perfect recall. Our a...
160
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...