511 search results - page 18 / 103 » Computational aspects of the FLBC framework |
RT
1997
Springer
14 years 29 days ago
1997
Springer
: The advent of computer augmented reality (CAR), in which computer generated objects mix with real video images, has resulted in many interesting new application domains. Providin...
CAD
2007
Springer
13 years 8 months ago
2007
Springer
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic fra...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
BIRTHDAY
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
EDOC
2006
IEEE
14 years 15 days ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...