4075 search results - page 288 / 815 » Modeling Distributed Algorithm Using B |
248
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The performance of a collaborative system depends on how two mandatory collaborative tasks, processing and transmission of user commands, are scheduled. We have developed multiple...
165
click to vote
IM
2003
15 years 8 months ago
2003
: Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...
188
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
174
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
193
Voted
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...