3796 search results - page 200 / 760 » Presentations by Programmers for Programmers |
96
Voted
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...
SAINT
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present an overview of the IPv6 activities of European National Research and Education Networks, both within the individual national programmes and in joint studi...
106
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
106
Voted
IPSN
2003
Springer
15 years 8 months ago
2003
Springer
High-level query languages are an attractive interface for sensor networks, potentially relieving application programmers from the burdens of distributed, embedded programming. In ...
138
Voted
EH
2002
IEEE
15 years 8 months ago
2002
IEEE
In this article, we present the BioWall, a giant reconfigurable computing tissue developed to implement machines according to the principles of our Embryonics (embryonic electroni...