1479 search results - page 209 / 296 » Management without (Detailed) Models |
136
Voted
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
134
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
152
click to vote
ACMSE
2005
ACM
15 years 6 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
143
Voted
KDD
2003
ACM
16 years 5 months ago
2003
ACM
Because of practical limits in characterizing the safety profiles of therapeutic products prior to marketing, manufacturers and regulatory agencies perform post-marketing surveill...
210
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
A primary challenge to large-scale data integration is creating semantic equivalences between elements from different data sources that correspond to the same real-world entity or...