3414 search results - page 572 / 683 » System Support for Object Groups |
186
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
174
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
There is a growing need for distributed teams to analyze complex and dynamic data streams and make critical decisions under time pressure. Via a case study, we discuss potential g...
185
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
151
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
172
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...