2191 search results - page 87 / 439 » Aspect - A Problem For MT |
110
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—FMC (Fixed-Mobile Convergence) is introduced as an approach for converging wireless and wireline networks. Even though it has a number of appealing aspects, it also has signific...
151
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
125
click to vote
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we investigate the problem of repairing unsatisfiable concepts in an OWL ontology in detail, keeping in mind the user perspective as much as possible. We f...
130
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
124
click to vote
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
A general variable length genome, called exG, is developed here to address the problems of fixed length representations in canonical evolutionary algorithms. Convergence aspects o...