3256 search results - page 491 / 652 » Applications of Formal Methods to System Design and Verifica... |
CCS
2010
ACM
14 years 9 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
81
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
162
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
CCS
2009
ACM
15 years 5 months ago
2009
ACM
We introduce the concept of membership-concealing overlay networks (MCONs), which hide the real-world identities of participants. We argue that while membership concealment is ort...
76
Voted
MOMPES
2008
IEEE
15 years 4 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...