1580 search results - page 155 / 316 » CoTeSys - Cognition for Technical Systems |
175
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Given its pervasive use, and being a clear example of a computing system integrating hardware and software, Digital Signal Processing (DSP) is an important discipline in Computer ...
192
click to vote
ICN
2007
Springer
16 years 20 days ago
2007
Springer
— The fields of autonomics and system configuration share a common goal in decreasing the cost of ownership of large fabrics. In this paper we present a combined vision in whic...
197
click to vote
GI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
167
click to vote
VSTTE
2005
Springer
16 years 4 hour ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
150
click to vote
CSCW
1998
ACM
15 years 10 months ago
1998
ACM
we have documented shares some of the influences discussed by Ackerman et. al., but has unique dynamics of its own which present unique technical and social demands. Using several ...