Sciweavers

5128 search results - page 367 / 1026
» Discrete Component Analysis
Sort
View
FCT
2009
Springer
15 years 11 months ago
Reachability in K3, 3-Free Graphs and K5-Free Graphs Is in Unambiguous Log-Space
We show that the reachability problem for directed graphs that are either K3,3-free or K5-free is in unambiguous log-space, UL coUL. This significantly extends the result of Bour...
Thomas Thierauf, Fabian Wagner
ICSE
2000
IEEE-ACM
15 years 11 months ago
Towards a taxonomy of software connectors
Software systems of today are frequently composed from prefabricated, heterogeneous components that provide complex functionality and engage in complex interactions. Existing rese...
Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke
AEI
2010
115views more  AEI 2010»
15 years 7 months ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
EDOC
2003
IEEE
16 years 23 days ago
A Software Architecture for Industrial Automation
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
Rodrigo García García, Esther Gelle,...
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
15 years 11 months ago
Indistinguishability Amplification
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
Ueli M. Maurer, Krzysztof Pietrzak, Renato Renner