664 search results - page 43 / 133 » Building continuous webbed models for system F |
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
SAC
2000
ACM
15 years 2 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
100
click to vote
WIDM
1999
ACM
15 years 2 months ago
1999
ACM
Recent work on information integration has yielded novel and efficient solutions for gathering data from the World Wide Web. However, there has been little attention given to the ...
SIAMSC
2008
14 years 9 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
AIME
2007
Springer
15 years 3 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...