7557 search results - page 310 / 1512 » Modeling Timed Concurrent Systems |
192
click to vote
EVOW
2008
Springer
15 years 7 months ago
2008
Springer
We propose an alternative algorithm for solving continuous review inventory model problems for deteriorating items over a ļ¬nite horizon. Our interest focuses on the case of timeā...
155
click to vote
DNA
2006
Springer
15 years 10 months ago
2006
Springer
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...
180
click to vote
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
169
click to vote
CIG
2005
IEEE
16 years 8 days ago
2005
IEEE
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...
199
click to vote
NOSSDAV
2005
Springer
16 years 4 days ago
2005
Springer
Multimedia applications today constitute a signiļ¬cant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...