Sciweavers

4330 search results - page 206 / 866
» Analyzing security architectures
Sort
View
IRI
2005
IEEE
16 years 5 days ago
Building reusable components with service-oriented architectures
– To build, manage and apply reusable components easily and efficiently are an ideal of software developers. Service-oriented architectures provide more hopes for reusable compon...
Haibin Zhu
WICSA
2001
15 years 8 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
ENTCS
2007
82views more  ENTCS 2007»
15 years 6 months ago
Web Interfaces for Proof Assistants
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
Cezary Kaliszyk
CSFW
2012
IEEE
13 years 9 months ago
Provably Secure and Practical Onion Routing
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
Michael Backes, Ian Goldberg, Aniket Kate, Esfandi...
ICALT
2007
IEEE
16 years 27 days ago
Embracing Cognitive Aspects in Web Personalization Environments -- The AdaptiveWeb Architecture
This paper1 presents a Web adaptation and personalization architecture that uses cognitive aspects as its core filtering element. The innovation of the proposed architecture focus...
Panagiotis Germanakos, Nikos Tsianos, Zacharias Le...