4196 search results - page 192 / 840 » Supporting the development of network programs |
99
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
161
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
160
Voted
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Recent advances in wireless sensor technology facilitate the development of remote healthcare systems, which can significantly reduce the healthcare cost. Despite the ini...
119
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
120
Voted
AUIC
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present a framework to use an arbitrary number of mouse and keyboard input devices controlling Swing based Java applications. These devices can be distributed am...