622 search results - page 110 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
138
click to vote
TSE
2011
14 years 6 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
85
Voted
VLSID
2009
IEEE
16 years 10 days ago
2009
IEEE
Designing MOS decoupling capacitors (DECAPs) in nanotechnologies provides many challenges due to the existing trade-offs among transient time response behavior, area, and gate lea...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...
ICMAS
2000
15 years 1 months ago
2000
Brokers are used in many multi-agent systems for locating agents, for routing and sharing information, for managing the system, and for legal purposes, as independent third partie...