2836 search results - page 298 / 568 » Model Checking for Software Architectures |
156
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Recently, there has been strong interest in large-scale simulations of biological spiking neural networks (SNN) to model the human brain mechanisms and capture its inference capabi...
128
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
: In this paper the problem of educational resource management in a cooperative learning environment is discussed. A task model was elaborated to determine both functional and leve...
141
Voted
UIST
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
134
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
148
click to vote
ENGL
2008
15 years 3 months ago
2008
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...