14577 search results - page 2521 / 2916 » Statistical Language Modelling |
184
click to vote
ICWE
2007
Springer
16 years 29 days ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
248
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
212
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
172
click to vote
IWOMP
2007
Springer
16 years 28 days ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
202
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...