3799 search results - page 607 / 760 » An Engineering Approach to Formal Methods |
135
Voted
ICAIL
2007
ACM
15 years 9 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
140
click to vote
ACL
1998
15 years 6 months ago
1998
We present a method for constructing, maintaining and consulting a database of proper nouns. We describe noun phrases composed of a proper noun and/or a description of a human occ...
127
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
116
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Email-based activity management systems promise to give users better tools for managing increasing volumes of email, by organizing email according to a user’s activities. Curren...
172
click to vote
ICSM
2009
IEEE
15 years 2 months ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...