Sciweavers

3066 search results - page 184 / 614
» On Facilitating Automated Evaluation
Sort
View
AFRIGRAPH
2001
ACM
14 years 1 months ago
Real time isosurface browsing
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
Caleb Lyness, Edwin H. Blake
CCS
2008
ACM
13 years 11 months ago
Enforcing a security pattern in stakeholder goal models
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Ying...
FC
2008
Springer
97views Cryptology» more  FC 2008»
13 years 11 months ago
OpenPGP-Based Financial Instruments and Dispute Arbitration
In this paper, we present some guidelines for implementing various financial instruments for the purposes of credit and payment, including protocols for commercial transactions, di...
Daniel A. Nagy, Nadzeya V. Shakel
ICWS
2007
IEEE
13 years 10 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
SERVICES
2008
51views more  SERVICES 2008»
13 years 10 months ago
Iterative Workflows for Numerical Simulations in Subsurface Sciences
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
Jared Chase, Karen Schuchardt, George Chin Jr., Je...