Sciweavers

2377 search results - page 365 / 476
» Hera: Development of Semantic Web Information Systems
Sort
View
WEBI
2009
Springer
14 years 3 months ago
DBLP-SSE: A DBLP Search Support Engine
—A Search Support Engine (SSE) is implemented based on the basic principles of Information Retrieval Support Systems (IRSS) and Information Seeking Support Systems (ISSS). An SSE...
Yi Zeng, Yiyu Yao, Ning Zhong
JLP
2006
155views more  JLP 2006»
13 years 9 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio
FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 18 days ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
COMCOM
2002
86views more  COMCOM 2002»
13 years 8 months ago
The globe infrastructure directory service
To implement adaptive replication strategies for Web documents, we have developed a wide area resource management system. This system allows servers to be managed on a local and g...
Ihor Kuz, Maarten van Steen, Henk J. Sips
TKDE
2008
122views more  TKDE 2008»
13 years 8 months ago
Protection of Database Security via Collaborative Inference Detection
Malicious users can exploit the correlation among data to infer sensitive information from a series of seemingly innocuous data accesses. Thus, we develop an inference violation d...
Yu Chen, Wesley W. Chu