Sciweavers

272 search results - page 24 / 55
» A Structured Approach to Teaching Web Development
Sort
View
96
Voted
AISADM
2005
Springer
15 years 3 months ago
Querying Dynamic and Context-Sensitive Metadata in Semantic Web
RDF (core Semantic Web standard) is not originally appropriate for context representation, because of its initial focus on the ordinary Web resources, such as web pages, files, dat...
Sergiy Nikitin, Vagan Y. Terziyan, Yaroslav Tsaruk...
WWW
2006
ACM
15 years 10 months ago
Analysis of communication models in web service compositions
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
Raman Kazhamiakin, Marco Pistore, Luca Santuari
AGENTS
2001
Springer
15 years 2 months ago
Every agent a web server, every agent community an intranet..
The research community is struggling with the right approach to integrate emerging agent technology with the exploding web page-based Internet. This paper presents the approach us...
Marshall Brinn, Todd M. Carrico, Nathan Combs
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
14 years 8 months 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 ...
98
Voted
LADC
2007
Springer
15 years 4 months ago
Security Patterns and Secure Systems Design
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
Eduardo B. Fernández