Sciweavers

2698 search results - page 249 / 540
» Software Process Model Blueprints
Sort
View
IIWAS
2004
15 years 8 months ago
An Advanced Transaction Meta-Model For Web Services Environments
: Recently, the software industry has published several proposals for transactional processing in the Web service world. Even though most proposals support arbitrary transaction mo...
Peter Hrastnik, Werner Winiwarter
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 4 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
ESWA
2011
220views Database» more  ESWA 2011»
14 years 10 months ago
Unsupervised neural models for country and political risk analysis
This interdisciplinary research project focuses on relevant applications of Knowledge Discovery and Artificial Neural Networks in order to identify and analyse levels of country, b...
Álvaro Herrero, Emilio Corchado, Alfredo Ji...
GAMESEC
2011
344views Game Theory» more  GAMESEC 2011»
14 years 6 months ago
Aegis A Novel Cyber-Insurance Model
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
Ranjan Pal, Leana Golubchik, Konstantinos Psounis
SAC
2009
ACM
16 years 1 months ago
A personalized framework for trust assessment
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
Trung Dong Huynh