5085 search results - page 467 / 1017 » Multidimensional Design by Examples |
271
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
213
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
A fleet of emerging agile methods is both gaining popularity and generating lots of controversy. Real-world examples argue for (e.g. [4]) and against (e.g. [6]) agile methods. Sev...
202
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
155
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
Recent research in wireless communications has achieved important results by exploring more and more sophisticated solutions involving power control. Cross-layer design and topolo...
176
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
In recent years, rapid technological advances have changed how many existing tasks are performed. For example, the combination of virtual environments and the Internet is presenti...