7820 search results - page 262 / 1564 » Formalization of Time and Space |
237
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
218
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
225
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both conti...
198
click to vote
ICW
2005
IEEE
16 years 26 days ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
167
click to vote
DLOG
2001
15 years 8 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...