Sciweavers

120 search results - page 20 / 24
» A Design Methodology for Self-Management in Distributed Envi...
Sort
View
GIS
2009
ACM
15 years 2 months ago
Machine learning approach to report prioritization with an application to travel time dissemination
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...
Piotr Szczurek, Bo Xu, Jie Lin, Ouri Wolfson
ASE
2008
102views more  ASE 2008»
14 years 9 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
AVI
2006
14 years 10 months ago
NAVRNA: visualization - exploration - editing of RNA
In this paper we describe NAVRNA, an interactive system that enables biologists or researchers in bioinformatics to visualize, explore and edit RNA molecules. The key characterist...
Gilles Bailly, Laurence Nigay, David Auber
ESAW
2000
Springer
15 years 1 months ago
Models of Coordination
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
Robert Tolksdorf
MOBIWAC
2006
ACM
15 years 3 months ago
A totally decentralized document sharing system for mobile ad hoc networks
Many research projects have defined applications that are claimed to operate in a MANet environment. Consider for instance these software tools that make it possible to share inf...
Lionel Barrère, Arnaud Casteigts, Serge Cha...