Sciweavers

1564 search results - page 96 / 313
» Tool Support for Architectural Decisions
Sort
View
HICSS
2000
IEEE
124views Biometrics» more  HICSS 2000»
15 years 9 months ago
An Empirical Study of Distribution based on Voyager: A Performance Analysis
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
Sérgio Viademonte, Frada Burstein, Fá...
CADE
2004
Springer
16 years 6 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
SC
2000
ACM
15 years 10 months ago
A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software with Templates
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
Kathleen A. Lindlan, Janice E. Cuny, Allen D. Malo...
AAAI
1997
15 years 7 months ago
PST: The Provider Selection Tool
Oxford Health Plans, Inc. is a managed care organization whose goal is to deliver cost-effective, high-quality health care. Oxford’s product lines include traditional health mai...
Howard Marmorstein, Jayesh Ghia, Sandeep Sathaye, ...
166
Voted
GIS
2002
ACM
15 years 5 months ago
Generic query tool for spatio-temporal data
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
Peter van Oosterom, Bart Maessen, Wilko Quak