Sciweavers

1968 search results - page 193 / 394
» The Complexity of Valued Constraint Models
Sort
View
116
Voted
WSE
2002
IEEE
15 years 6 months ago
Dynamic Model Extraction and Statistical Analysis of Web Applications
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
Paolo Tonella, Filippo Ricca
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 11 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ECTEL
2006
Springer
15 years 5 months ago
A Formal Model of Learning Object Metadata
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
Kris Cardinaels, Erik Duval, Henk J. Olivié
RECOMB
2008
Springer
16 years 2 months ago
Computation of Median Gene Clusters
Whole genome comparison based on gene order has become a popular approach in comparative genomics. An important task in this field is the detection of gene clusters, i.e. sets of g...
Sebastian Böcker, Katharina Jahn, Julia Mixta...
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 8 months ago
The Cost of Reality: Effects of Real-World Factors on Multi-Robot Search
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
Jim Pugh, Alcherio Martinoli