8828 search results - page 172 / 1766 » Formal methods in practice |
114
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
152
click to vote
ANTSW
2008
Springer
15 years 6 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...
133
click to vote
ACE
2004
15 years 6 months ago
2004
The advent of Web technology has enabled new ways in which groups of people may interact, leading to the development of online communities. In an academic environment these virtua...
112
Voted
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. Current numerical methods for assessing the statistical significance of local alignments with gaps are time consuming. Analytical solutions thus far have been limited to ...
139
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...