882 search results - page 161 / 177 » Allowing State Changes in Specifications |
287
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
145
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
184
click to vote
INFOCOM
2009
IEEE
16 years 11 days ago
2009
IEEE
—A major problem in wireless networks is coping with limited resources, such as bandwidth and energy. These issues become a major algorithmic challenge in view of the dynamic nat...
194
click to vote
LFCS
2009
Springer
16 years 8 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
173
click to vote
ATAL
2007
Springer
15 years 12 months ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...