Sciweavers

1175 search results - page 190 / 235
» Abstract computability and algebraic specification
Sort
View
ADHOCNETS
2009
Springer
13 years 11 months ago
Supporting Proactive Application Event Notification to Improve Sensor Network Performance
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
Christophe J. Merlin, Wendi B. Heinzelman
BIRTHDAY
2008
Springer
13 years 10 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
EUROPAR
2008
Springer
13 years 10 months ago
An Analysis of HPC Benchmarks in Virtual Machine Environments
Abstract. Virtualization technology has been gaining acceptance in the scientific community due to its overall flexibility in running HPC applications. It has been reported that a ...
Anand Tikotekar, Geoffroy Vallée, Thomas Na...
CGVR
2008
13 years 10 months ago
RECOLLVE - REpresenting COLLaboration in Virtual Environments
Abstract--The world globalization process, the increasing demand of communication and information technologies creates an enormous demand for collaborative applications. Aiming to ...
José Valentim Dos Santos Filho, Roberta Lim...
CIBCB
2009
IEEE
13 years 10 months ago
rnaDesign: Local search for RNA secondary structure design
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...
Denny C. Dai, Herbert H. Tsang, Kay C. Wiese