3176 search results - page 488 / 636 » Strategic product development |
153
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
154
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
140
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Encryption algorithms can be used to help secure wireless communications, but securing data also consumes resources. The goal of this research is to provide users or system develo...
177
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
The area of medical monitoring and diagnostics is of particular importance and relevance today. Modern nanotechnology has reduced prices and size of increasingly sophisticated sen...
201
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Wireless sensor networks have become increasingly common in everyday applications due to decreasing technology costs and improved product reliability. An ideal application for wire...