5599 search results - page 182 / 1120 » Abstract State Services |
124
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The recent development of location-based services has originated a set of new security services that address their particular security problems. Spatial-temporal certific...
151
click to vote
JMM
2006
15 years 6 months ago
2006
ents a prototype system, called UbiCon system. By abstracting media streams into generic CONTENT entities, the system provides a simple and powerful means for services to operate m...
159
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
169
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
155
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...