2153 search results - page 379 / 431 » From Requirements Models to Formal Specifications in B |
140
click to vote
CHI
2002
ACM
16 years 6 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...
144
click to vote
EMSOFT
2007
Springer
16 years 9 days 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 ...
146
click to vote
MSWIM
2009
ACM
16 years 28 days 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...
167
click to vote
ESWS
2007
Springer
16 years 8 days 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...
197
click to vote
BMCBI
2011
15 years 1 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...