1516 search results - page 187 / 304 » Trends in Software Verification |
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
VL
2009
IEEE
15 years 4 months ago
2009
IEEE
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
104
click to vote
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
WECWIS
2006
IEEE
15 years 3 months ago
2006
IEEE
In today’s businesses we can see the trend that serviceoriented architectures (SOA) represent the main paradigm for IT infrastructures. In this setting, a software offers its fu...