5599 search results - page 182 / 1120 » Abstract State Services |
EUROPKI
2007
Springer
15 years 7 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...
126
click to vote
JMM
2006
15 years 4 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...
132
click to vote
SOCO
2010
Springer
15 years 1 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 ...
135
click to vote
ASM
2005
ASM
15 years 9 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...
127
click to vote
ASM
2005
ASM
15 years 9 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...