319 search results - page 58 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
144
click to vote
WOSP
1998
ACM
15 years 3 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
102
click to vote
RTAS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
WWW
2008
ACM
16 years 9 days ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
92
Voted
COORDINATION
2007
Springer
15 years 5 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
80
Voted
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...