2266 search results - page 393 / 454 » A generic component model for building systems software |
151
click to vote
FOSSACS
2010
Springer
16 years 23 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
300
click to vote
SADFE
2008
IEEE
16 years 20 days ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
151
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
255
click to vote
TCSB
2010
15 years 4 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
158
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...