Sciweavers

675 search results - page 26 / 135
» Mobilization of software developers: the free software movem...
Sort
View
CMPB
2010
374views more  CMPB 2010»
13 years 8 months ago
KARDIA: A Matlab software for the analysis of cardiac interbeat intervals
This article presents KARDIA, a Matlab (MathWorks Inc., MA) software developed for the analysis of cardiac interbeat interval (IBI) data. Available functions are called through a ...
Pandelis Perakakis, Mateus Joffily, Michael Taylor...
JAR
2006
99views more  JAR 2006»
13 years 8 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
PROFES
2005
Springer
14 years 2 months ago
Using the MOWAHS Characterisation Framework for Development of Mobile Work Applications
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
Alf Inge Wang, Carl-Fredrik Sørensen, Heri ...
HOLOMAS
2009
Springer
14 years 1 months ago
Mobility Model for Tactical Networks
In this paper a synthetic mobility model which represents behavior and movement pattern of heterogeneous units in disaster relief and battlefield scenarios is proposed. These oper...
Milan Rollo, Antonín Komenda
ER
2008
Springer
91views Database» more  ER 2008»
13 years 10 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini