Sciweavers

2060 search results - page 304 / 412
» OPM Web - Object-Process Methodology for Developing Web Appl...
Sort
View
118
Voted
ASWEC
2007
IEEE
15 years 9 months ago
A Formal Model of Service-Oriented Design Structure
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...
98
Voted
IADIS
2004
15 years 4 months ago
Design Process of a Multilingual Virtual Library
The AVICENNA VIRTUAL CAMPUS project, championed by UNESCO, has the aim to accelerate the adoption and use of ICT-assisted Open Distance Learning (ODL) in the Euro-Med region. As a...
C. Rodrigo, J. Hidalgo, M. L. Cacheiro, A. Del Olm...
169
Voted
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 13 days ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
140
Voted
COMPSAC
1999
IEEE
15 years 6 months ago
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Eb...
110
Voted
ACSAC
2001
IEEE
15 years 6 months ago
Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
Valentin Razmov, Daniel R. Simon