8179 search results - page 1200 / 1636 » The PRACTIONIST Development Tool |
182
Voted
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...
198
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
231
Voted
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
194
Voted
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
203
Voted
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...