3552 search results - page 538 / 711 » Proof theory in the abstract |
192
click to vote
AP2PC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
150
click to vote
ARGMAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
147
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
179
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
156
click to vote
ISNN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, some sufficient conditions are obtained to guarantee that discrete time cellular neural networks (DTCNNs) can have some stable memory patterns. These condi...