Sciweavers

14382 search results - page 96 / 2877
» Time in Connectionist Models
Sort
View
102
Voted
SPIN
2004
Springer
15 years 6 months ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
FDL
2004
IEEE
15 years 5 months ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...
CMOT
1999
105views more  CMOT 1999»
15 years 1 months ago
Friendship Networks Through Time: An Actor-Oriented Dynamic Statistical Network Model
We propose a class of actor-oriented statistical models for closed social networks in general, and friendship networks in particular. The models are random utility models develope...
Gerhard G. Van De Bunt, Marijtje A. J. Van Duijn, ...
RTAS
2006
IEEE
15 years 7 months ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
82
Voted
RTAS
2005
IEEE
15 years 7 months ago
Towards Efficient Use of Shared Communication Media in the Timed Model
Guido Menkhaus, Michael Holzmann, Sebastian Fischm...