5084 search results - page 768 / 1017 » Proving Possibility Properties |
153
click to vote
ECOWS
2007
Springer
16 years 24 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
188
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
147
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
153
click to vote
EUROCAST
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
182
click to vote
EUROPKI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Anonymous secret sharing schemes allow a secret to be recovered from shares regardless of the identity of shareholders. Besides being interesting in its own right, this p...