325 search results - page 22 / 65 » ideas 2002 |
ENTCS
2002
14 years 10 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
ENTCS
2002
14 years 10 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
ETS
2002
IEEE
14 years 10 months ago
2002
IEEE
The Strawberry Discovery and Niche Process (SDNP) introduces a workbook, a new systematic method, a compact and cost-effective training process. The trainees are directed in a sys...
ETT
2002
14 years 10 months ago
2002
Multichannel acoustic echo cancellation is basically composed of two parts. One part is a multichannel system identification problem which is nontrivial to solve. The other part, w...
ISJ
2002
14 years 9 months ago
2002
Systems development research shows that practitioners seldom follow methods and that the competencies required for successful development of computer-based systems go well beyond t...