928 search results - page 100 / 186 » Interpolation-sequence based model checking |
140
Voted
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
143
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
104
Voted
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...
151
click to vote
APN
2007
Springer
15 years 8 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
166
click to vote
WOA
2010
15 years 11 days ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...