3238 search results - page 313 / 648 » Multi-return function call |
153
click to vote
CAV
2007
Springer
16 years 26 days 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...
153
click to vote
ECOWS
2007
Springer
16 years 25 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...
145
click to vote
FC
2007
Springer
16 years 25 days 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...
178
click to vote
ICALP
2007
Springer
16 years 25 days 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...
183
click to vote
ICWE
2007
Springer
16 years 25 days 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...