Sciweavers

1297 search results - page 183 / 260
» Semantic Correctness in Adaptive Process Management Systems
Sort
View
83
Voted
USENIX
2007
15 years 1 months ago
From STEM to SEAD: Speculative Execution for Automated Defense
Most computer defense systems crash the process that they protect as part of their response to an attack. Although recent research explores the feasibility of selfhealing to autom...
Michael E. Locasto, Angelos Stavrou, Gabriela F. C...
59
Voted
CAISE
2006
Springer
15 years 2 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier
ACISICIS
2005
IEEE
15 years 1 months ago
Palmprint Identification Algorithm Using Hu Invariant Moments and Otsu Binarization
Recently, Biometrics-based personal identification is regarded as an effective method of person's identity with recognition automation and high performance. In this paper, th...
Jin Soo Noh, Kang Hyeon Rhee
PADO
2001
Springer
15 years 3 months ago
Run-Time Bytecode Specialization
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
Hidehiko Masuhara, Akinori Yonezawa
143
Voted
BMCBI
2010
195views more  BMCBI 2010»
14 years 6 months ago
MBAT: A scalable informatics system for unifying digital atlasing workflows
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
Daren Lee, Seth Ruffins, Queenie Ng, Nikhil Sane, ...