2989 search results - page 386 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
129
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...
126
Voted
ISBRA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...
140
Voted
KCAP
2005
ACM
15 years 8 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
105
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...