Sciweavers

3920 search results - page 173 / 784
» Challenges in Software Evolution
Sort
View
ICSE
2005
IEEE-ACM
16 years 2 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
ICT
2004
Springer
158views Communications» more  ICT 2004»
15 years 7 months ago
MobiS: A Solution for the Development of Secure Applications for Mobile Devices
With the mobile computing evolution, portable devices have emerged in the market with the possibility of connection to IP networks using wireless technologies. The migration from f...
Windson Viana, José Bringel Filho, Katy C. ...
116
Voted
BMCBI
2007
95views more  BMCBI 2007»
15 years 2 months ago
ZPS: visualization of recent adaptive evolution of proteins
Background: Detection of adaptive amino acid changes in proteins under recent short-term selection is of great interest for researchers studying microevolutionary processes in mic...
Sujay Chattopadhyay, Daniel E. Dykhuizen, Evgeni V...
171
Voted
TSE
2011
134views more  TSE 2011»
14 years 9 months ago
Verifying the Evolution of Probability Distributions Governed by a DTMC
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
YoungMin Kwon, Gul A. Agha
SIGSOFT
2010
ACM
15 years 11 days ago
Building scalable software systems in the multicore era
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
Hridesh Rajan