Sciweavers

11 search results - page 1 / 3
» Expressive Profile Specification and Its Semantics for a Web...
Sort
View
ER
2004
Springer
125views Database» more  ER 2004»
13 years 10 months ago
Expressive Profile Specification and Its Semantics for a Web Monitoring System
Abstract. World wide web has gained a lot of prominence with respect to information retrieval and data delivery. With such a prolific growth, a user interested in a specific change...
Ajay Eppili, Jyoti Jacob, Alpa Sachde, Sharma Chak...
GEOINFORMATICA
2006
135views more  GEOINFORMATICA 2006»
13 years 4 months ago
Metadata Community Profiles for the Semantic Web
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
Luis Bermudez, Michael Piasecki
JOT
2008
142views more  JOT 2008»
13 years 4 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
13 years 2 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 ...
ICOODB
2010
171views Database» more  ICOODB 2010»
13 years 2 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...