4540 search results - page 111 / 908 » Evolving the |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
IWPSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Good source code documentation, especially of programming interfaces, is essential for using and maintaining software components. In this paper, we present the Quasoledo tool that...
SAINT
2007
IEEE
14 years 4 months ago
2007
IEEE
Today's wireless and mobile services are typically monolithic and often centralized in nature, which limits heterogeneous service access and shared service usage. New sources...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...