5255 search results - page 829 / 1051 » Formal Methods for Privacy |
178
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
166
click to vote
HIKM
2006
ACM
16 years 15 days ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
182
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
139
click to vote
TLDI
2005
ACM
16 years 3 days ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
189
click to vote
WOSP
2005
ACM
16 years 3 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...