1239 search results - page 223 / 248 » Applying Model Checking to Concurrent UML Models |
ACSAC
2010
IEEE
13 years 4 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....
GEOINFORMATICA
2011
13 years 1 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...
ICCS
2005
Springer
14 years 8 days 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...
EUROCRYPT
2003
Springer
13 years 12 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...
APN
1993
Springer
13 years 11 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...