2722 search results - page 505 / 545 » Automating Language Evolution |
117
click to vote
ENTCS
2006
15 years 2 months ago
2006
Technologies for overcoming heterogeneities between autonomous data sources are key in the emerging networked world. In this paper we discuss the initial results of a formal inves...
152
click to vote
GRID
2006
Springer
15 years 2 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
134
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
142
click to vote
DAM
2007
15 years 2 months ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...
123
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...