12333 search results - page 2132 / 2467 » System Level Modelling for Hardware Software Systems |
155
click to vote
CSCLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
171
click to vote
ICCBSS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
155
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
167
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...
141
click to vote
ICMI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...