Search Sciweavers | Sciweavers

9698 search results - page 132 / 1940

» models 2010

162

click to vote

SOCA
2010
IEEE

202views Applied Computing» more SOCA 2010»

Compliance scopes: Extending the BPMN 2.0 meta model to specify compliance requirements

15 years 4 months ago

Download www.iaas.uni-stuttgart.de

Daniel Schleicher, Frank Leymann, David Schumm, Mo...

claim paper

Read More »

142

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 4 months ago

Download mcs.open.ac.uk

Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...

claim paper

Read More »

131

click to vote

TCC
2010
Springer

119views Cryptology» more TCC 2010»

Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model

15 years 4 months ago

Download www.cs.cornell.edu

Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrish...

claim paper

Read More »

129

click to vote

AMAI
2010
Springer

94views Artificial Intelligence» more AMAI 2010»

Two hemispheres - two networks: a computational model explaining hemispheric asymmetries while reading ambiguous words

15 years 3 months ago

Download iipdm.haifa.ac.il

Orna Peleg, Larry M. Manevitz, Hananel Hazan, Zoha...

claim paper

Read More »

164

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers