2409 search results - page 56 / 482 » Logical systems for structured specifications |
107
Voted
ATAL
1997
Springer
15 years 4 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
78
Voted
FLAIRS
2001
15 years 2 months ago
2001
KnowledgeManagementrepresents a crucial componentof corporations' efforts to gain competitiveadvantagefrom targeted re-use of knowledgeassets. Companiesthat provide consultin...
113
click to vote
SERA
2004
Springer
15 years 6 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
94
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
QSIC
2003
IEEE
15 years 6 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...