5550 search results - page 119 / 1110 » Different Approaches to Proof Systems |
132
click to vote
KIVS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract This paper presents a token-based accounting scheme for decentralized autonomous systems, such as peer-to-peer systems. The scheme uses tokens as proof of resource or serv...
142
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
153
click to vote
FUIN
2006
15 years 6 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
199
click to vote
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
168
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...