111 search results - page 17 / 23 » Source Code Composition with the Reuseware Composition Frame... |
ICSE
2003
IEEE-ACM
16 years 25 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
135
click to vote
AOSD
2011
ACM
14 years 7 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
111
click to vote
ICPP
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an analytic performance model of a largescale hydrodynamics code developed at Los Alamos National Laboratory. This modeling work is part of an ongoing effort to develop...
97
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...
99
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...