1239 search results - page 223 / 248 » Applying Model Checking to Concurrent UML Models |
121
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
156
click to vote
GEOINFORMATICA
2011
14 years 8 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
119
Voted
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
112
click to vote
EUROCRYPT
2003
Springer
15 years 7 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
116
Voted
APN
1993
Springer
15 years 6 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...