3256 search results - page 417 / 652 » Applications of Formal Methods to System Design and Verifica... |
154
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
125
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
169
click to vote
DGO
2007
15 years 7 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
149
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...
169
Voted
CASES
2005
ACM
15 years 7 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...