410 search results - page 29 / 82 » Tools for System Validation with B Abstract Machines |
CANDC
2006
ACM
13 years 7 months ago
2006
ACM
O-glycosylation is one of the most important, frequent and complex post-translational modifications. This modification can activate and affect protein functions. Here, we present ...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
SC
2005
ACM
14 years 1 months ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
GC
2004
Springer
14 years 1 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
WICSA
2008
13 years 9 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...