Sciweavers

1153 search results - page 146 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
128
Voted
CJ
2006
117views more  CJ 2006»
15 years 3 months ago
Atomic Hypermedia
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...
Duncan Martin, Helen Ashman
115
Voted
SEMWEB
2004
Springer
15 years 9 months ago
An Initial Investigation into Querying an Untrustworthy and Inconsistent Web
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
Yuanbo Guo, Jeff Heflin
152
Voted
ACMDIS
2006
ACM
15 years 9 months ago
Staying open to interpretation: engaging multiple meanings in design and evaluation
Human-Computer Interaction (HCI) often focuses on how designers can develop systems that convey a single, specific, clear interpretation of what they are for and how they should b...
Phoebe Sengers, Bill Gaver
235
Voted
SIGMOD
2008
ACM
139views Database» more  SIGMOD 2008»
16 years 3 months ago
Paths to stardom: calibrating the potential of a peer-based data management system
As peer-to-peer (P2P) networks become more familiar to the database community, intense interest has built up in using their scalability and resilience properties to scale database...
Mihai Lupu, Beng Chin Ooi, Y. C. Tay
118
Voted
ISSA
2004
15 years 5 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche