8109 search results - page 128 / 1622 » A Model of Component-Based Programming |
131
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
138
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
155
Voted
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
142
click to vote
ER
1998
Springer
15 years 9 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
150
click to vote
WSC
2008
15 years 7 months ago
2008
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...