4488 search results - page 655 / 898 » Properties of NP-Complete Sets |
163
click to vote
SAINT
2006
IEEE
16 years 1 days ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
184
click to vote
SUTC
2006
IEEE
2006
IEEE
Schedules with Minimized Access Latency for Disseminating Dependent Information on Multiple Channels
16 years 1 days ago
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data...
156
click to vote
ACMACE
2006
ACM
16 years 5 hour ago
2006
ACM
Massively multiplayer online computer games are played in complex, persistent virtual worlds. Over time, the landscape of these worlds evolves and changes as players create and pe...
174
click to vote
ACMMSP
2006
ACM
16 years 5 hour ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
142
click to vote
ERLANG
2006
ACM
15 years 12 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...