Sciweavers

2328 search results - page 203 / 466
» Component Frameworks - A Case Study
Sort
View
ACE
2004
173views Education» more  ACE 2004»
15 years 7 months ago
Strategies for Communication Skills Development
As the scope of computer science continues to expand and move further into inter-disciplinary research, we see communication skills development (CSD) gain prominence in tertiary c...
Paul Gruba, Reem Al-Mahmood
PAMI
2008
144views more  PAMI 2008»
15 years 6 months ago
Finsler Active Contours
In this paper, we propose an image segmentation technique based on augmenting the conformal (or geodesic) active contour framework with directional information. In the isotropic ca...
John Melonakos, Eric Pichon, Sigurd Angenent, Alle...
NJC
2006
119views more  NJC 2006»
15 years 6 months ago
A Model-Driven Approach to Variability Management in Product-Line Engineering
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
André L. Santos, Kai Koskimies, Antó...
ESORICS
2007
Springer
15 years 10 months ago
Efficient Proving for Practical Distributed Access-Control Systems
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
Lujo Bauer, Scott Garriss, Michael K. Reiter
ICSE
2005
IEEE-ACM
16 years 6 months ago
Automatic discovery of API-level exploits
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Tho...