1860 search results - page 190 / 372 » A Temporal Logic of Robustness |
127
click to vote
ENTCS
2002
15 years 1 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
131
click to vote
SECON
2010
IEEE
14 years 11 months ago
2010
IEEE
Push-to-Talk (PTT) is a useful capability for rapidly deployable wireless mesh networks used by first responders. PTT allows several users to speak with each other while using a si...
101
click to vote
MTDT
2002
IEEE
15 years 6 months ago
2002
IEEE
The amount of memory being embedded on chip is growing rapidly. This strongly implies that memory Built-in-self-test (BIST) logic assumes utmost importance amongst all on chip sel...
135
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
109
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...