6894 search results - page 980 / 1379 » Generation Problems |
190
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— – Major research challenges in the next generation of wireless networks include the provisioning of worldwide seamless mobility across heterogeneous wireless networks, the im...
174
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
202
click to vote
DCOSS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...
185
click to vote
DEXA
2007
Springer
16 years 29 days ago
2007
Springer
XML has become the standard format for data representation and exchange in domains ranging from Web to desktop applications. However, wide adoption of XML is hindered by inefficien...
232
click to vote
GPCE
2007
Springer
16 years 28 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...