9425 search results - page 425 / 1885 » Some Notes on Models and Modelling |
146
click to vote
FMSD
2006
15 years 5 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
160
click to vote
IJWET
2006
15 years 4 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
167
click to vote
JSAC
2008
15 years 4 months ago
2008
If a network is to operate successfully, its users need to collaborate. Collaboration takes the form of following a network protocol and involves some resource expenditure on the p...
127
click to vote
JSS
2008
15 years 4 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
157
click to vote
IJCM
2007
15 years 4 months ago
2007
The highest fidelity representations of realistic real-world materials currently used comprise Bidirectional Texture Functions (BTF). The BTF is a six dimensional function dependi...