Sciweavers

7213 search results - page 1301 / 1443
» Automated model grouping
Sort
View
ENTCS
2007
143views more  ENTCS 2007»
15 years 4 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
JWSR
2006
170views more  JWSR 2006»
15 years 4 months ago
Managing Semantic Metadata for Web/Grid Services
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
Liming Chen, Nigel R. Shadbolt, Carole A. Goble, F...
150
Voted
IIE
2007
159views more  IIE 2007»
15 years 4 months ago
Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
Petri Ihantola
TVCG
2008
113views more  TVCG 2008»
15 years 4 months ago
A Spreadsheet Approach to Facilitate Visualization of Uncertainty in Information
Information uncertainty is inherent in many problems and is often subtle and complicated to understand. While visualization is a powerful means for exploring and understanding info...
Alexander Streit, Binh Pham, Ross Brown
151
Voted
JWSR
2007
104views more  JWSR 2007»
15 years 4 months ago
Dealing with Scale and Adaptation of Global Web Services Management
Service Oriented Architectures (SOA) are becoming the prevalent approach for realizing modern services and systems. SOA offers superior support for autonomy (decoupling) and heter...
William Vambenepe, Carol Thompson, Vanish Talwar, ...
« Prev « First page 1301 / 1443 Last » Next »