652 search results - page 32 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
137
click to vote
MKWI
2008
15 years 3 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
143
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
132
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
108
click to vote
ENTCS
2010
15 years 2 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
213
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...