8496 search results - page 1420 / 1700 » Problem Solving and Complex Systems |
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
165
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract In general, avatar-based communication has a merit that it can represent non-verbal information. The simplest way of representing the non-verbal information is to capture ...
164
click to vote
NRHM
2008
15 years 6 months ago
2008
In the same way that Wikis have become the mechanism that has enabled groups of users to collaborate on the production of hypertexts on the web, Semantic Wikis promise a future of...
204
click to vote
IJAHUC
2007
15 years 6 months ago
2007
: In wireless sensor networks, one of the main design challenges is to save severely constrained energy resources and obtain a long system lifetime. Low cost of sensors enables us ...
253
click to vote
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...