15635 search results - page 134 / 3127 » Modelling and Design of VAML |
134
click to vote
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
134
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
Item selection is a key problem in electronic guidebook design. Many systems do not apply so-called “context-awareness” technologies to infer user interest, placing the entire...
144
click to vote
HASE
1999
IEEE
15 years 9 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
191
Voted
TOG
2012
13 years 7 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
158
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...