1888 search results - page 154 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
159
Voted
CONCUR
2009
Springer
15 years 1 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
109
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The Loop-Level Process Control LLPC policy 9 dynamically adjusts the number of threads an application is allowed to execute based on the application's available parallelism a...
155
Voted
IJAOSE
2008
15 years 3 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
150
Voted
UIST
1998
ACM
15 years 7 months ago
1998
ACM
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...