9455 search results - page 401 / 1891 » The Modelling Language Zinc |
205
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
220
click to vote
EWSA
2004
Springer
16 years 29 days ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
217
click to vote
ECIR
2008
Springer
15 years 9 months ago
2008
Springer
We propose a new approach to a music search engine that can be accessed via natural language queries. As with existing approaches, we try to gather as much contextual information a...
231
Voted
TPDS
2008
15 years 7 months ago
2008
Computational Grids potentially offer low cost, readily available, and large-scale high-performance platforms. For the parallel execution of programs, however, computational GRIDs ...
225
click to vote
WS
2008
ACM
15 years 7 months ago
2008
ACM
Semantic Web applications share a large portion of development effort with database-driven Web applications. Existing approaches for development of these database-driven applicati...