3432 search results - page 535 / 687 » Model Development in the UML-based Specification Environment... |
185
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
185
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
The development of Reed-Solomon (RS) codes has allowed for improved data transmission over a variety of communication media. Although Reed-Solomon decoding provides a powerful def...
164
click to vote
UIST
2005
ACM
16 years 2 days ago
2005
ACM
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...
172
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...