2153 search results - page 379 / 431 » From Requirements Models to Formal Specifications in B |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
MSWIM
2009
ACM
14 years 5 months ago
2009
ACM
In a Multi-hop Wireless Networks (MHWN), packets are routed between source and destination using a chain of intermediate nodes; chains are a fundamental communication structure in...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
BMCBI
2011
13 years 5 months ago
2011
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...