1516 search results - page 174 / 304 » Trends in Software Verification |
CAISE
2008
Springer
14 years 12 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
ECIS
2003
14 years 11 months ago
2003
Electronic business has a strong influence on the relationships between partners within supply chains. Small and Medium Sized Enterprises (SMEs) need an affordable, integrated set...
SERP
2003
14 years 11 months ago
2003
Current trends suggest future software systems will rely on service-discovery protocols to combine and recombine distributed services dynamically in reaction to changing condition...
103
click to vote
DYNAMO
2000
14 years 11 months ago
2000
Feedback-directed optimization (FDO) is a general term used to describe any technique that alters a program's execution based on tendencies observed in its present or past ru...
CCR
2008
14 years 10 months ago
2008
There is a growing sentiment among academics in computing that a shift to multicore processors in commodity computers will demand that all programmers become parallel programmers....