2357 search results - page 371 / 472 » Computing Refactorings of Behavior Models |
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Due to their rapidity and their high resolution, piezoelectric materials are very prized in microactuators and microrobotics. The classical example is the piezocantilev...
135
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
102
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
124
click to vote
VTC
2006
IEEE
15 years 8 months ago
2006
IEEE
— Performance comparison of multiuser OFDM-TDMA and OFDMA systems by considering physical and link cross-layer behavior is conducted in this work. We provide a new framework for ...
126
Voted
ACOM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Lately, overhearing has gained interest in monitoring multi-agent settings. Previous investigations provided an extensive set of techniques using overhearing. However, mo...