Sciweavers

723 search results - page 44 / 145
» A Logical Architecture of a Normative System
Sort
View
TEAA
2005
Springer
116views Hardware» more  TEAA 2005»
14 years 2 months ago
MDA and Analysis of Web Applications
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
Behzad Bordbar, Kyriakos Anastasakis
DAC
2010
ACM
14 years 21 days ago
Theoretical analysis of gate level information flow tracking
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Tim...
ICAC
2009
IEEE
14 years 20 days ago
A decentralized, architecture-based framework for self-growing applications
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
Ada Diaconescu, Philippe Lalanda
TKDE
2010
149views more  TKDE 2010»
13 years 3 months ago
A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information
The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, requir...
Davide Sottara, Paola Mello, Mark Proctor
ISCA
2006
IEEE
154views Hardware» more  ISCA 2006»
14 years 2 months ago
An Integrated Framework for Dependable and Revivable Architectures Using Multicore Processors
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
Weidong Shi, Hsien-Hsin S. Lee, Laura Falk, Mrinmo...