Sciweavers

5615 search results - page 177 / 1123
» On the Computational Capabilities of Several Models
Sort
View
ESCIENCE
2006
IEEE
16 years 1 months ago
An Extended Extremal Optimisation Model for Parallel Architectures
: A relatively new meta-heuristic, known as extremal optimisation (EO), is based on the evolutionary science notion that poorly performing genes of an individual are replaced by ra...
Marcus Randall, Andrew Lewis
ESORICS
2010
Springer
15 years 8 months ago
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
David A. Basin, Cas J. F. Cremers
BPM
2007
Springer
181views Business» more  BPM 2007»
16 years 1 months ago
Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues
Recent analysis of clinical Computer-Interpretable Guideline (CIG) modelling languages from the perspective of the control-flow patterns has revealed limited capabilities of these...
Nataliya Mulyar, Maja Pesic, Wil M. P. van der Aal...
LAWEB
2003
IEEE
16 years 10 days ago
Application Modeling for the Semantic Web
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
Fernanda Lima, Daniel Schwabe
MEMICS
2010
15 years 1 months ago
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
Jiri Matela, Vit Rusnak, Petr Holub