2357 search results - page 355 / 472 » Computing Refactorings of Behavior Models |
115
Voted
HCI
2009
15 years 12 days ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
135
Voted
PROCEDIA
2010
14 years 9 months ago
2010
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
212
Voted
FORTE
2011
14 years 6 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
134
Voted
EDOC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Open Web-based and social platforms dramatically influence models of work. Today, there is an increasing interest in outsourcing tasks to crowdsourcing environments tha...
147
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...