Sciweavers

463 search results - page 71 / 93
» Process issues in course projects
Sort
View
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
14 years 1 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
ECAI
2004
Springer
14 years 1 months ago
IPSS: A Hybrid Reasoner for Planning and Scheduling
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
María Dolores Rodríguez-Moreno, Ange...
BMCBI
2007
110views more  BMCBI 2007»
13 years 7 months ago
Analysis of feedback loops and robustness in network evolution based on Boolean models
Background: Many biological networks such as protein-protein interaction networks, signaling networks, and metabolic networks have topological characteristics of a scale-free degr...
Yung-Keun Kwon, Kwang-Hyun Cho
GROUP
2003
ACM
14 years 26 days ago
Studying the effect of similarity in online task-focused interactions
Although the Internet provides powerful tools for social interactions, many tasks—for example, information-seeking—are undertaken as solitary activities. Information seekers a...
Dan Cosley, Pamela J. Ludford, Loren G. Terveen
MBEES
2008
13 years 9 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...