Sciweavers

4917 search results - page 480 / 984
» Software Engineering is Not Computer Science
Sort
View
FSEN
2009
Springer
15 years 11 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
125
Voted
CISIS
2008
IEEE
15 years 11 months ago
Single-Pass List Partitioning
Parallel algorithms divide computation among several threads. In many cases, the input must also be divided. Consider an input consisting of a linear sequence of elements whose le...
Leonor Frias, Johannes Singler, Peter Sanders
COMPSAC
2008
IEEE
15 years 11 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
ICSM
2008
IEEE
15 years 11 months ago
Automatically identifying C++0x concepts in function templates
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
Andrew Sutton, Jonathan I. Maletic
151
Voted
KBSE
2008
IEEE
15 years 11 months ago
A Framework for Dynamic Service Discovery
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
Andrea Zisman, George Spanoudakis, James Dooley