Sciweavers

493 search results - page 95 / 99
» An Analysis of Tool-Based Research in Software Engineering
Sort
View
SELMAS
2004
Springer
15 years 3 months ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
WWW
2007
ACM
15 years 10 months ago
Discovering the best web service
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...
Eyhab Al-Masri, Qusay H. Mahmoud
BIB
2010
140views more  BIB 2010»
14 years 7 months ago
Next generation sequencing in functional genomics
Genome-wide sequencing has enabled modern biomedical research to relate more and more events in healthy as well as disease-affected cells and tissues to the genomic sequence. Now ...
Thomas Werner
SIMULATION
2010
150views more  SIMULATION 2010»
14 years 4 months ago
Profiling Literature in Healthcare Simulation
: The publications that relate to the application of simulation to healthcare have steadily increased over the years. These publications are scattered amongst various journals that...
Navonil Mustafee, Korina Katsaliaki, Simon J. E. T...
POPL
2010
ACM
15 years 7 months ago
Dependent Types from Counterexamples
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
Tachio Terauchi