Sciweavers

1327 search results - page 190 / 266
» Cost-Benefit Analysis of Software Development Techniques and...
Sort
View
SOCO
2008
Springer
15 years 6 months ago
Compositional Modeling for Data-Centric Business Applications
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
Ethan K. Jackson, Wolfram Schulte
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
KDD
2009
ACM
181views Data Mining» more  KDD 2009»
15 years 11 months ago
Intelligent file scoring system for malware detection from the gray list
Currently, the most significant line of defense against malware is anti-virus products which focus on authenticating valid software from a white list, blocking invalid software f...
Yanfang Ye, Tao Li, Qingshan Jiang, Zhixue Han, Li...
ISSTA
2009
ACM
16 years 25 days ago
Identifying semantic differences in AspectJ programs
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
Martin Th Görg, Jianjun Zhao
WCNC
2008
IEEE
16 years 21 days ago
Exact BER Performance of Asynchronous MC-DS-CDMA over Nakagami-m Fading Channels
—In this contribution an accurate average bit error rate (BER) formula is derived for Nakagami-faded MC-DSCDMA in the context of asynchronous transmissions and random spreading s...
Besma Smida, Lajos Hanzo, Sofiène Affes