Sciweavers

670 search results - page 52 / 134
» Software safety: relating software assurance and software in...
Sort
View
SEW
2006
IEEE
14 years 4 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
SCAM
2006
IEEE
14 years 4 months ago
Cross-Language Program Analysis and Refactoring
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
Dennis Strein, Hans Kratz, Welf Löwe
IRI
2003
IEEE
14 years 3 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
WWW
2006
ACM
14 years 10 months ago
An integrated method for social network extraction
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...
Tom Hope, Takuichi Nishimura, Hideaki Takeda
SLE
2009
Springer
14 years 4 months ago
ScalaQL: Language-Integrated Database Queries for Scala
One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, r...
Daniel Spiewak, Tian Zhao