267 search results - page 44 / 54 » Evolution with Drifting Targets |
TSE
2010
14 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
104
click to vote
VTC
2010
IEEE
14 years 8 months ago
2010
IEEE
—The 3rd Generation Partnership Project has recently started the standardization process for LTE-Advanced, as a major evolution step of UTRAN LTE Release 8. One of the key enhanc...
100
click to vote
WINET
2010
14 years 8 months ago
2010
Wireless sensor networks are characterised by the distributed nature of their operation and the resource constraints on the nodes. Trust management schemes that are targeted at sen...
113
click to vote
ICCS
2009
Springer
14 years 7 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...
107
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...