Sciweavers

21379 search results - page 154 / 4276
» The profession of IT - Evolutionary system development
Sort
View
LPAR
2005
Springer
15 years 11 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
148
Voted
ICCBSS
2003
Springer
15 years 11 months ago
Protective Wrapper Development: A Case Study
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
Tom Anderson, Mei Feng, Steve Riddle, Alexander B....
153
Voted
ICEIS
2000
IEEE
15 years 10 months ago
A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
Isabel Milho, Ana L. N. Fred
155
Voted
IPPS
1999
IEEE
15 years 10 months ago
Developing Parallel Applications Using the JAVAPORTS Environment
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
Demetris G. Galatopoullos, Elias S. Manolakos
JAVA
1999
Springer
15 years 10 months ago
Analysis and Development of Java Grande Benchmarks
Understanding the performance behaviour of Java Virtual Machines is important to Java systems developers and to applications developers. We review a range of Java benchmark progra...
J. A. Mathew, Paul D. Coddington, Kenneth A. Hawic...