1728 search results - page 234 / 346 » Formal Modeling of Process Migration |
PERCOM
2006
ACM
16 years 10 days ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...
118
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
93
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
ICNP
2007
IEEE
15 years 7 months ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...