72 search results - page 12 / 15 » Real Time Temporal Logic: Past, Present, Future |
CCS
2005
ACM
15 years 3 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
DEBS
2010
ACM
15 years 1 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
103
click to vote
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...