3799 search results - page 527 / 760 » An Engineering Approach to Formal Methods |
192
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
167
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
176
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
176
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Motivated by the need for unification of the field of data mining and the growing demand for formalized representation of outcomes of research, we address the task of constructi...
198
click to vote
WISE
2008
Springer
16 years 29 days ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...