3573 search results - page 312 / 715 » Reasoning about Codata |
132
click to vote
ENTCS
2007
15 years 4 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
154
click to vote
TFS
2008
15 years 4 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
121
Voted
COMPUTER
2004
15 years 4 months ago
2004
After thirty years of work on computer security, why are almost all the systems in service today extremely vulnerable to attack? The main reason is that security is expensive to s...
187
Voted
CORR
2011
Springer
14 years 12 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
291
click to vote
CSL
2011
Springer
14 years 12 months ago
2011
Springer
How much can we infer about the pronunciation of a language – past or present – by observing which words its speakers rhyme? This paper explores the connection between pronunc...