3828 search results - page 312 / 766 » Proof-Based System Engineering Using a Virtual System Model |
175
click to vote
EWSA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
163
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
179
click to vote
ISLPED
2004
ACM
16 years 2 days ago
2004
ACM
While set-associative caches incur fewer misses than directmapped caches, they typically have slower hit times and higher power consumption, when multiple tag and data banks are p...
159
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
172
click to vote
VRML
2005
ACM
16 years 6 days ago
2005
ACM
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...