5599 search results - page 127 / 1120 » Abstract State Services |
87
Voted
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— In this paper we consider the problem of constructing a distributed feedback law to achieve synchronization for a group of k agents whose states evolve on SO(n) and whi...
104
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
108
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
124
Voted
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract. Replication has been widely used in J2EE servers for reliability and scalability. There are two properties which are important for a stateful J2EE application server. Fir...
143
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...