1728 search results - page 139 / 346 » Formal Modeling of Process Migration |
BMCBI
2008
15 years 1 months ago
2008
Background: Urokinase, its receptor and the integrins are functionally associated and involved in regulation of cell signaling, migration, adhesion and proliferation. No structura...
114
click to vote
FAC
2007
15 years 1 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
106
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
101
click to vote
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
108
click to vote
WSC
2001
15 years 2 months ago
2001
Supply chain decisions are improved with access to global information. However, supply chain partners are frequently hesitant to provide full access to all the information within ...