8083 search results - page 1366 / 1617 » A Formalization of Software Architecture |
167
click to vote
FSTTCS
2005
Springer
16 years 5 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
176
click to vote
FSTTCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
141
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
171
click to vote
HVC
2005
Springer
16 years 5 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
156
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...