1205 search results - page 6 / 241 » From high-level component-based models to distributed implem... |
VRML
1998
ACM
13 years 11 months ago
1998
ACM
In this paper, we introduce the design and implementation of VSPLUS, a high-level multi-user extension library to enable people to simultaneously manipulate interactive VRML world...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
SPLC
2010
13 years 9 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...