Sciweavers

15778 search results - page 447 / 3156
» Aikido and software engineering
Sort
View
AC
2000
Springer
15 years 6 months ago
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
Marcos A. Kiwi, Frédéric Magniez, Mi...
FSTTCS
2010
Springer
15 years 4 months ago
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
Sven Schewe
ICSEA
2009
IEEE
15 years 4 months ago
Exploring and Overcoming Major Challenges in IT Infrastructures Faced by IT Executives
This paper aims at identifying top challenges faced by IT executives in IT infrastructures to help the formulation of
Luis Alexandre Ferreira da Silva, Fernando Brito e...
ICSOFT
2009
15 years 4 months ago
On Extending the Primary-copy Database Replication Paradigm
M. Liroz-Gistau, J. R. Juárez-Rodríg...