1161 search results - page 21 / 233 » Resource Modeling for Timed Creol Models |
129
Voted
ENTCS
2006
15 years 2 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
139
Voted
IS
1998
15 years 2 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
139
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
142
Voted
TPDS
2010
15 years 28 days ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
116
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...