Sciweavers

1805 search results - page 328 / 361
» File System Interfaces for Embedded Software Development
Sort
View
EUC
2007
Springer
14 years 1 months ago
Palpability Support Demonstrated
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
Jeppe Brønsted, Erik Grönvall, David F...
CBSE
2005
Springer
14 years 1 months ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
ATAL
2008
Springer
13 years 9 months ago
A multi-agent platform for auction-based allocation of loads in transportation logistics
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
Han Noot, Valentin Robu, Han La Poutré, Wil...
CMPB
2010
97views more  CMPB 2010»
13 years 6 months ago
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
Weiru Liu, Anbu Yue, David J. Timson
IPL
2010
94views more  IPL 2010»
13 years 6 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...