15777 search results - page 2687 / 3156 » Software Engineering |
208
Voted
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
161
click to vote
SENSYS
2005
ACM
16 years 8 days ago
2005
ACM
Despite their increasing sophistication, wireless sensor networks still do not exploit the most powerful of the human senses: vision. Indeed, vision provides humans with unmatched...
194
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
184
Voted
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
178
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...