4476 search results - page 579 / 896 » A flexible framework for engineering |
213
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
212
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
180
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Immaterial labor, which is a philosophical concept established by Maurizio Lazzarato and others for understanding the postFordism industry, refers to the process of producing the ...
168
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Ranking microblogs, such as tweets, as search results for a query is challenging, among other things because of the sheer amount of microblogs that are being generated in real time...
209
Voted
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Configurable software lets users customize applications in many ways, and is becoming increasingly prevalent. Regression testing is an important but expensive way to build confide...