620 search results - page 42 / 124 » Decidability Problems for Actor Systems |
SAC
2010
ACM
15 years 4 months ago
2010
ACM
While the trust paradigm is essential to broadly extend the communication between the environment’s actors, the evaluation of trust becomes a challenge when confronted with init...
RSP
2005
IEEE
15 years 3 months ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
ICCNMC
2005
Springer
15 years 3 months ago
2005
Springer
Transcoding proxy caching is an important technology for improving the services over Internet, especially in the environment of mobile computing systems. In this paper, we address ...
101
click to vote
AIM
2006
14 years 11 months ago
2006
: Virtual Enterprises are an emerging model for the organization of innovative enterprises. They are characterized by brief relationships and geographical dispersion of members. E-...