4460 search results - page 207 / 892 » Formal methods for interactive systems |
125
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
133
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Although distributed Group Support Systems (GSS) are getting popular, there are still some limitations. One of the limitations is few substitutions for face-to-face (FTF) interact...
139
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
110
click to vote
IWINAC
2007
Springer
15 years 10 months ago
2007
Springer
Emergent interactions that are expressed by the movements of two agents are discussed in this paper. The common coding principle is used to show how the mirror neuron system may fa...