2902 search results - page 513 / 581 » Software Product Lines |
132
click to vote
ICFP
2006
ACM
15 years 12 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
MOBISYS
2007
ACM
15 years 11 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...
107
click to vote
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
114
click to vote
SIGCSE
2010
ACM
15 years 6 months ago
2010
ACM
The “Hacker Curriculum” exists as a mostly undocumented set of principles and methods for learning about information security. Hacking, in our view, is defined by the ability...
108
click to vote
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...