1538 search results - page 207 / 308 » Designing Human-Centered Distributed Information Systems |
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
AIS
2004
Springer
15 years 3 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
126
click to vote
FASE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...