2850 search results - page 90 / 570 » On Timed Models and Full Abstraction |
173
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
180
click to vote
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
179
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
How do real graphs evolve over time? What are "normal" growth patterns in social, technological, and information networks? Many studies have discovered patterns in stati...
232
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
199
click to vote
ICWN
2004
15 years 8 months ago
2004
Abstract-- In the proxy approach to Service Oriented Computing, a service advertises a proxy, which is searched for, retrieved and used by interested clients as a local handle to t...