747 search results - page 32 / 150 » TODS Special Issues |
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
CCE
2007
15 years 28 days ago
2007
: In this paper we take a CSCW perspective on knowledge management, looking at it at the level of daily work practice in two different contexts – project management and engineeri...
103
click to vote
FIMH
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The analysis of cardiac dynamics – especially of the left ventricle – is a means for evaluating the healthiness of the heart. In case that a malfunction has been dete...
119
click to vote
IEAAIE
2011
Springer
14 years 2 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
112
click to vote
CODES
2011
IEEE
13 years 11 months ago
2011
IEEE
Designing memory controllers for complex real-time and highperformance multi-processor systems-on-chip is challenging, since sufficient capacity and (real-time) performance must b...