Sciweavers

1635 search results - page 142 / 327
» DIPC: A System Software Solution for Distributed Programming
Sort
View
SIAMCO
2011
14 years 9 months ago
On Riccati Equations in Banach Algebras
Let R be a commutative complex Banach algebra with the involution ·⋆ and suppose that A ∈ Rn×n , B ∈ Rn×m , C ∈ Rp×n . The question of when the Riccati equation PBB⋆ ...
Ruth Curtain, Amol Sasane
SIGCOMM
2010
ACM
15 years 2 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
145
Voted
KBSE
2005
IEEE
15 years 8 months ago
Designing and implementing a family of intrusion detection systems
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
Richard A. Kemmerer
147
Voted
MATA
2004
Springer
199views Communications» more  MATA 2004»
15 years 7 months ago
Configuration Management for Networked Reconfigurable Embedded Devices
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
Timothy O'Sullivan, Richard Studdert
ICSE
2005
IEEE-ACM
16 years 2 months ago
Object naming analysis for reverse-engineered sequence diagrams
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
Atanas Rountev, Beth Harkness Connell