489 search results - page 21 / 98 » Reasoning about confidentiality at requirements engineering ... |
101
Voted
ICSM
1996
IEEE
15 years 4 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
124
Voted
ISSRE
2010
IEEE
14 years 11 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
91
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
168
click to vote
ICTL
1994
15 years 4 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
129
click to vote
AAAI
1990
15 years 1 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...