Sciweavers

8398 search results - page 1532 / 1680
» Optimal Software Testing
Sort
View
SOCIALCOM
2010
15 years 2 months ago
Measurement, Modeling, and Analysis of a Large-scale Blog Sever Workload
Despite the growing popularity of Online Social Networks (OSNs), the workload characteristics of OSN servers, such as those hosting blog services, are not well understood. Understa...
Myeongjae Jeon, Jeaho Hwang, Youngjae Kim, Jae-Wan...
DLS
2009
150views Languages» more  DLS 2009»
15 years 2 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
Frédéric Pluquet, Antoine Marot, Roe...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
HCI
2009
15 years 2 months ago
Modeling Human Actors in an Intelligent Automated Warehouse
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...
Davy Preuveneers, Yolande Berbers
ICC
2009
IEEE
15 years 2 months ago
Simulation of SPIT Filtering: Quantitative Evaluation of Parameter Tuning
A future where Internet Telephony will constitute a target valuable to attack is not so unrealistic. E-mail spam botnets software can be updated to send voice spam (commonly referr...
Federico Menna, Renato Lo Cigno, Saverio Niccolini...
« Prev « First page 1532 / 1680 Last » Next »