Sciweavers

2292 search results - page 261 / 459
» Structure preserving embedding
Sort
View
VSTTE
2005
Springer
15 years 10 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
146
Voted
CP
2004
Springer
15 years 10 months ago
Challenges for Constraint Programming in Networking
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
Helmut Simonis
143
Voted
STEP
2003
IEEE
15 years 10 months ago
Improvement of Test Data by Measuring SQL Statement Coverage
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
María José Suárez Cabal, Javi...
167
Voted
DAWAK
2001
Springer
15 years 9 months ago
Discovering Web Document Associations for Web Site Summarization
Complex web information structures prevent search engines from providing satisfactory context-sensitive retrieval. We see that in order to overcome this obstacle, it is essential t...
K. Selçuk Candan, Wen-Syan Li
149
Voted
GCSE
1999
Springer
15 years 9 months ago
Aspect-Oriented Compilers
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk