Sciweavers

4245 search results - page 244 / 849
» Integrating Software by Integrating People
Sort
View
FORTE
2004
15 years 8 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
BMCBI
2006
104views more  BMCBI 2006»
15 years 6 months ago
GNU polyxmass: a software framework for mass spectrometric simulations of linear (bio-)polymeric analytes
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
Filippo Rusconi
JIPS
2006
120views more  JIPS 2006»
15 years 6 months ago
Automatic Hardware/Software Interface Generation for Embedded System
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook...
NETWORK
2006
83views more  NETWORK 2006»
15 years 6 months ago
A new model for updating software in wireless sensor networks
Wireless Sensor Networks (WSNs) are expected to be deployed for long periods of time, and the nodes are likely to need software updates during their lifetime, both for bug fixes a...
Stephen Brown, Cormac J. Sreenan
SEMWEB
2009
Springer
16 years 1 months ago
Live Social Semantics
Abstract. Social interactions are one of the key factors to the success of conferences and similar community gatherings. This paper describes a novel application that integrates da...
Harith Alani, Martin Szomszor, Ciro Cattuto, Woute...