Sciweavers

1992 search results - page 177 / 399
» Engineering Semantic Web Information Systems in Hera
Sort
View
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
HICSS
1999
IEEE
152views Biometrics» more  HICSS 1999»
15 years 10 months ago
Incorporating Semantic Relationships into an Object-Oriented Database System
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...
Li-min Liu, Michael Halper
COMPSAC
2002
IEEE
15 years 11 months ago
Using XML to Integrate Existing Software Systems into the Web
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
Harry M. Sneed
ESWS
2010
Springer
15 years 7 months ago
OKBook: Peer-to-Peer Community Formation
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
Xi Bai, Wamberto Vasconcelos, Dave Robertson
CCS
2008
ACM
15 years 8 months ago
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
Alessandro Armando, Roberto Carbone, Luca Compagna...