2317 search results - page 351 / 464 » Model based testing for agent systems |
ICTCS
2001
Springer
15 years 2 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
l invaders in the form of pathogens. In this research, and abstract model of DC behaviour is developed and subsequently used to form an algorithm, the DCA. The abstraction process ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
SIGKDD
2008
14 years 10 months ago
2008
This paper outlines a retail sales prediction and product recommendation system that was implemented for a chain of retail stores. The relative importance of consumer demographic ...
ISF
2008
14 years 10 months ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...