1516 search results - page 172 / 304 » Trends in Software Verification |
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
MSE
2005
IEEE
15 years 3 months ago
2005
IEEE
System-on-Chip design is an important new trend in the design of complex integrated circuits. The integration of a microprocessor, memory and peripherals onto a single die opens n...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
CIKM
2004
Springer
15 years 3 months ago
2004
Springer
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...
ICADL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Digital libraries are large, organized collections of information objects. Well-designed digital library software has the potential to enable nonspecialist people to conc...