6274 search results - page 790 / 1255 » Proofs, Programs, Processes |
210
click to vote
ECRTS
2006
IEEE
16 years 28 days ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
166
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Video composition is important for music video production. In this paper we propose an automatic method to assist the music sports video composition operation. Our approach is bas...
155
click to vote
KBSE
2006
IEEE
16 years 27 days ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
183
click to vote
ACRI
2006
Springer
16 years 26 days ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
191
click to vote
AINA
2005
IEEE
16 years 15 days ago
2005
IEEE
In the present study, THUBioGrid, an experimental distributed computing application for bioinformatics (BioGrid) is proposed. THUBioGrid incorporates directory services (data and ...