3387 search results - page 653 / 678 » Model-Checking for Real-Time Systems |
JVM
2004
13 years 9 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
WSCG
2004
13 years 9 months ago
2004
Even after more than two decades of input devices development, many people still find the interaction with computers an uncomfortable experience. Efforts should be made to adapt c...
CISIS
2007
IEEE
13 years 7 months ago
2007
IEEE
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...
BIOSYSTEMS
2008
13 years 7 months ago
2008
The responses of cortical neurons are often characterized by measuring their spectro-temporal receptive fields (strfs). The strf of a cell can be thought of as a representation of...
KES
2006
Springer
13 years 7 months ago
2006
Springer
With the development of service robots and with the emerging concept of the ubiquitous world, localization of a mobile robot has become a popular issue. Even though several localiz...