Sciweavers

16725 search results - page 2881 / 3345
» Engineering Software Correctness
Sort
View
MIDDLEWARE
2005
Springer
16 years 10 days ago
Context aware sensornet
Advances in MEMS technology, wireless communications, and digital electronics have enabled the development of low-cost, low-power, multifunctional sensor nodes that integrating th...
Huaifeng Qin, Xingshe Zhou
MIDDLEWARE
2005
Springer
16 years 10 days ago
Middleware for protocol-based coordination in dynamic networks
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
Kurt Schelfthout, Danny Weyns, Tom Holvoet
OOPSLA
2005
Springer
16 years 10 days ago
Removing duplication from java.io: a case study using traits
Code duplication is a serious problem with no easy solution, even in industrial-strength code. Single inheritance cannot provide for effective code reuse in all situations, and s...
Emerson R. Murphy-Hill, Philip J. Quitslund, Andre...
PROFES
2005
Springer
16 years 10 days 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 ...
SOCO
2005
Springer
16 years 9 days ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
« Prev « First page 2881 / 3345 Last » Next »