4075 search results - page 396 / 815 » Modeling Distributed Algorithm Using B |
169
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a general solution model using agent technology in order to solve two critical open issues in the course timetabling problem: application-specific issues and d...
270
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...
159
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
208
click to vote
MIR
2006
ACM
16 years 24 days ago
2006
ACM
Automatic keyword annotation is a promising solution to enable more effective image search by using keywords. In this paper, we propose a novel automatic image annotation method b...
168
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Within collaborative computing, computer mediated communications are evolving rapidly thanks to the development of new technologies. The facilitation of awareness and discovery ...