7206 search results - page 221 / 1442 » Using a Hypermedia System for Systems Engineering |
205
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...
159
click to vote
ACG
2006
Springer
16 years 1 months ago
2006
Springer
A plethora of enhancements are available to be used together with the αβ search algorithm. There are so many, that their selection and implementation is a non-trivial task, even ...
197
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
196
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
161
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...