3256 search results - page 266 / 652 » Applications of Formal Methods to System Design and Verifica... |
182
click to vote
DOLAP
2006
ACM
16 years 16 days ago
2006
ACM
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...
187
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Recovering design patterns applied in a system can help refactoring the system. Machine learning algorithms have been successfully applied in mining data patterns. However, one of...
173
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...
132
click to vote
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
155
click to vote
MIDDLEWARE
2007
Springer
16 years 21 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...