1317 search results - page 232 / 264 » Fusions of Description Logics and Abstract Description Syste... |
AMDO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Peer-to-Peer (P2P) computing has been increasingly gaining interest. P2P architectures are no longer just used for sharing music files over the InP2P middleware systems attempt to...
FPL
2009
Springer
14 years 1 months ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
ER
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...