7206 search results - page 1277 / 1442 » Using a Hypermedia System for Systems Engineering |
110
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
214
click to vote
VLDB
2005
ACM
16 years 3 months ago
2005
ACM
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
125
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Estimating the number of distinct elements in a large multiset has several applications, and hence has attracted active research in the past two decades. Several sampling and sket...
132
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
125
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
— The emphasis of emerging mobile and Web 2.0 applications on collaboration and communication increases threats to user privacy. A serious, yet under-researched privacy risk resu...