3238 search results - page 313 / 648 » Multi-return function call |
111
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
100
Voted
ECOWS
2007
Springer
15 years 8 months 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...
103
Voted
FC
2007
Springer
15 years 8 months ago
2007
Springer
Responding to the PIN cracking attacks from Berkman and Ostrovsky (FC 2007), we outline a simple solution called salted-PIN. A randomly generated salt value of adequate length (e.g...
118
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
119
click to vote
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...