3830 search results - page 55 / 766 » From Reference Model to Component Model |
ETRA
2004
ACM
14 years 2 months ago
2004
ACM
This paper evaluates the use of Visual Deictic Reference (VDR) in Collaborative Virtual Environments (CVEs). A simple CVE capable of hosting two (or more) participants simultaneou...
DATE
1999
IEEE
14 years 3 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
PCI
2001
Springer
14 years 3 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
BMCBI
2007
13 years 11 months ago
2007
Background: Detailed information on DNA-binding transcription factors (the key players in the regulation of gene expression) and on transcriptional regulatory interactions of micr...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...