3831 search results - page 652 / 767 » Dynamic Context Logic |
109
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
129
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Mobile ad hoc networks (MANETs) define a challenging computing scenario where access to resources is restrained by connectivity among hosts. Replication offers an opportunity to in...
98
Voted
EVOW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we discuss Evolution Strategies within the context of interactive optimization. Different modes of interaction will be classified and compared. A focus will...
140
Voted
IDMS
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
285
Voted
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...