3799 search results - page 317 / 760 » An Engineering Approach to Formal Methods |
177
click to vote
IAT
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
133
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
167
click to vote
WOSP
2005
ACM
16 years 8 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
153
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
170
click to vote
ICSE
2004
IEEE-ACM
16 years 3 days ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...