2042 search results - page 222 / 409 » A Global Grid Model Based on |
160
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
258
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate ...
180
click to vote
ICNSC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
216
click to vote
FMCO
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
197
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
Machine Learned Ranking approaches have shown successes in web search engines. With the increasing demands on developing effective ranking functions for different search domains, ...