1516 search results - page 187 / 304 » Trends in Software Verification |
147
Voted
SAC
2009
ACM
15 years 10 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...
120
Voted
VL
2009
IEEE
15 years 10 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...
147
Voted
DSN
2007
IEEE
15 years 10 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,...
152
Voted
KBSE
2007
IEEE
15 years 10 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...
114
Voted
WECWIS
2006
IEEE
15 years 9 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...