Sciweavers

152 search results - page 25 / 31
» Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use
Sort
View
ECLIPSE
2007
ACM
15 years 1 months ago
Building, deploying, and monitoring distributed applications with Eclipse and R-OSGI
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
WISE
2006
Springer
15 years 3 months ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
DEBU
2007
211views more  DEBU 2007»
14 years 9 months ago
Provenance in Databases: Past, Current, and Future
The need to understand and manage provenance arises in almost every scientific application. In many cases, information about provenance constitutes the proof of correctness of re...
Wang Chiew Tan
79
Voted
MC
2001
14 years 11 months ago
Towards a Task-Based System Administration Tool for Linux Systems
The growing popularity of computers in all areas of daily life leads to the situation that an increasing number of people with diverse know-how of computers and software use these...
Ernianti Hasibuan, Gerd Szwillus
EDBT
2008
ACM
158views Database» more  EDBT 2008»
15 years 9 months ago
Expressive query specification through form customization
A form-based query interface is usually the preferred means to provide an unsophisticated user access to a database. Not only is such an interface easy to use, requiring no techni...
Magesh Jayapandian, H. V. Jagadish