36320 search results - page 7129 / 7264 » From Code to Models |
158
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
182
click to vote
CG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...
198
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
219
click to vote
SI3D
1999
ACM
15 years 10 months ago
1999
ACM
In the real world designers often use French curves or sweeps to create or edit curves to bring out a personal style or reflect a corporate standard in all their designs. A Frenc...
180
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...