Sciweavers

7961 search results - page 1035 / 1593
» Input-Output Model Programs
Sort
View
ISBRA
2007
Springer
16 years 1 months ago
Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice
Abstract. The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure ...
Minghui Jiang, Martin Mayne, Joel Gillespie
OTM
2007
Springer
16 years 1 months ago
Building Adaptive Systems with Service Composition Frameworks
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
Liliana Rosa, Luís Rodrigues, Antóni...
SAT
2007
Springer
126views Hardware» more  SAT 2007»
16 years 1 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
UM
2007
Springer
16 years 1 months ago
To Share or Not to Share: Supporting the User Decision in Mobile Social Software Applications
User’s privacy concerns represent one of the most serious obstacles to the wide adoption of mobile social software applications. In this paper, we introduce a conceptual model wh...
Giuseppe Lugano, Pertti Saariluoma
VAMOS
2007
Springer
16 years 1 months ago
Language and UML Support for Features: Two Research Challenges
Features have been recognized as important building blocks of software product lines. Unfortunately, features have been mostly confined to modeling activities as they were origina...
Roberto E. Lopez-Herrejon
« Prev « First page 1035 / 1593 Last » Next »