7380 search results - page 787 / 1476 » Engineering Software Intensive Systems |
179
click to vote
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
159
click to vote
IUI
2005
ACM
16 years 1 months 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...
193
click to vote
WOSP
2005
ACM
16 years 1 months 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...
180
click to vote
FASE
2005
Springer
16 years 1 months 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...
205
click to vote
PASTE
2004
ACM
16 years 27 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...