Sciweavers

8132 search results - page 1599 / 1627
» Dependability, Abstraction, and Programming
Sort
View
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
15 years 3 months ago
jETI: A Tool for Remote Tool Integration
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
Tiziana Margaria, Ralf Nagel, Bernhard Steffen
UM
2005
Springer
15 years 3 months ago
Modeling Individual and Collaborative Problem Solving in Medical Problem-Based Learning
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
Siriwan Suebnukarn, Peter Haddawy
UML
2005
Springer
15 years 3 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
UML
2005
Springer
15 years 3 months ago
Bridging Grammarware and Modelware
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
Manuel Wimmer, Gerhard Kramler
WEA
2005
Springer
176views Algorithms» more  WEA 2005»
15 years 3 months ago
High-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
David A. Bader
« Prev « First page 1599 / 1627 Last » Next »