1116 search results - page 31 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ALT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
ASM
2005
ASM
15 years 4 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
FASE
2000
Springer
15 years 2 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
PAA
2006
14 years 11 months ago
2006
Abstract Given the importance of implicit communication in human interactions, it would be valuable to have this capability in robotic systems wherein a robot can detect the motiva...