5434 search results - page 744 / 1087 » Tool support for MOLA |
180
click to vote
MICRO
2005
IEEE
16 years 10 days ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
214
click to vote
VL
2005
IEEE
16 years 10 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
175
click to vote
GROUP
2005
ACM
16 years 9 days ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
138
click to vote
MSWIM
2005
ACM
16 years 9 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
179
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...