3468 search results - page 302 / 694 » An open logical framework |
151
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
172
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
198
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...
165
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
155
Voted
SIGCSE
2003
ACM
15 years 12 months ago
2003
ACM
Students in programming courses generally write “toy” programs, even when the size of the assigned projects is large. Programming assignments are written, superficially teste...