1283 search results - page 164 / 257 » A Survey on Temporal Logics |
169
click to vote
ASE
2010
15 years 6 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
167
click to vote
JAPLL
2007
15 years 6 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
193
click to vote
AAMAS
1999
Springer
15 years 6 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
219
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
191
click to vote
DASC
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...