2493 search results - page 406 / 499 » Tool Support for Design by Contract |
SIGCSE
2008
ACM
14 years 8 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
JIDM
2010
14 years 8 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
115
click to vote
SMR
2010
14 years 8 months ago
2010
Usually, for a particular business process different variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the proc...
128
click to vote
ACMIDC
2010
14 years 8 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
TRIDENTCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract. As wireless networks become a critical part of home, business and industrial infrastructure, researchers will meet these demands by providing new networking technologies....