2519 search results - page 114 / 504 » Reasoning with Textual Cases |
164
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
1 Quickly detecting an unexpected pathogen can save many lives. In cases of bioterrorism or naturally occurring epidemics, accurate diagnoses may not be made until much of the popu...
141
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
117
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
130
click to vote
JSS
2007
15 years 4 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
148
Voted
FAC
2000
15 years 4 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...