12981 search results - page 2270 / 2597 » Model Checking (Abstract) |
146
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
146
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
136
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
141
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
160
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A two-argument function is computed privately by two parties if after the computation, no party should know anything about the other inputs except for what he is able to ...