4151 search results - page 411 / 831 » Language Driven System Design |
142
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
114
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
152
click to vote
IDEAL
2003
Springer
15 years 10 months ago
2003
Springer
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
145
click to vote
CGI
1997
IEEE
15 years 9 months ago
1997
IEEE
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
153
click to vote
AGP
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...