12333 search results - page 2039 / 2467 » System Level Modelling for Hardware Software Systems |
175
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
197
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a mobile Augmented Reality (AR) system called the SitePack supporting architects in visualizing 3D models in real-time on site. We describe how vision based fea...
165
click to vote
PRIMA
2004
Springer
16 years 4 days ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
149
click to vote
ICCS
2003
Springer
16 years 3 hour ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
188
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...