1411 search results - page 180 / 283 » Interactive Coding for Interactive Proofs |
116
Voted
TCS
2008
15 years 2 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...
114
click to vote
JSCIC
2007
15 years 2 months ago
2007
This paper begins with an overview of the boundary condition capturing approach to solving problems with interfaces. Although, the authors’ original motivation was to extend the...
126
Voted
AI
2000
Springer
15 years 2 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
116
Voted
FUIN
2000
15 years 2 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
158
Voted
ICWS
2009
IEEE
15 years 11 days ago
2009
IEEE
The WS-BPEL specification focuses on business processes the activities of which are assumed to be interactions with Web services. However, WS-BPEL processes go beyond the orchestr...