36320 search results - page 7129 / 7264 » From Code to Models |
111
Voted
CAISE
2000
Springer
15 years 8 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 ...
137
Voted
CG
2000
Springer
15 years 8 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...
160
Voted
CIKM
2000
Springer
15 years 8 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...
184
Voted
SI3D
1999
ACM
15 years 8 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...
146
Voted
ICCAD
1999
IEEE
15 years 8 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. ...