3828 search results - page 664 / 766 » Proof-Based System Engineering Using a Virtual System Model |
113
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
124
click to vote
GRID
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present the MASSIVE project that aims to use Grid technology to establish an enabling environment for distributed simulation and visualization of large-scale scie...
159
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
125
Voted
COLING
2008
15 years 3 months ago
2008
One style of Multi-Engine Machine Translation architecture involves choosing the best of a set of outputs from different systems. Choosing the best translation from an arbitrary s...
159
click to vote
PKDD
2004
Springer
15 years 7 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...