CORR
2008
Springer
13 years 11 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
ICASSP
2010
IEEE
13 years 11 months ago
2010
IEEE
Automatic speech recognition (ASR) results contain not only ASR errors, but also disfluencies and colloquial expressions that must be corrected to create readable transcripts. We...
ECOOPW
1997
Springer
14 years 3 months ago
1997
Springer
In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techni...
IFM
1999
Springer
14 years 3 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
CIA
2000
Springer
14 years 3 months ago
2000
Springer
This paper, which is expository in nature, investigates and illustrates the idea of using cybernetic system modeling techniques to model a multi-agent community. The cybernetic co...
UML
2001
Springer
14 years 3 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
ICSE
2001
IEEE-ACM
14 years 3 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
AGENTS
2001
Springer
14 years 3 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...