2658 search results - page 476 / 532 » Micro-communication Element System |
159
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
149
click to vote
CONCUR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
182
click to vote
HPCC
2007
Springer
16 years 9 days ago
2007
Springer
Many optimization techniques have been adopted for efficient job scheduling in grid computing, such as: genetic algorithms, simulated annealing and stochastic methods. Such techni...
147
click to vote
ICDT
2007
ACM
16 years 9 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
162
click to vote
IFIP
2007
Springer
16 years 9 days ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...