Sciweavers

1662 search results - page 40 / 333
» Privately Finding Specifications
Sort
View
BMCBI
2008
104views more  BMCBI 2008»
15 years 2 months ago
ExonMiner: Web service for analysis of GeneChip Exon array data
Background: Some splicing isoform-specific transcriptional regulations are related to disease. Therefore, detection of disease specific splice variations is the first step for fin...
Kazuyuki Numata, Ryo Yoshida, Masao Nagasaki, Ayum...
140
Voted
PPOPP
2009
ACM
16 years 3 months ago
A comparison of programming models for multiprocessors with explicitly managed memory hierarchies
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
Scott Schneider, Jae-Seung Yeom, Benjamin Rose, Jo...
ICSOC
2003
Springer
15 years 7 months ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...
FQAS
2006
Springer
84views Database» more  FQAS 2006»
15 years 6 months ago
UNL as a Text Content Representation Language for Information Extraction
This paper describes a new approach for describing contents through the use of interlinguas in order to facilitate the extraction of specific pieces of information. The authors hig...
Jesús Cardeñosa, Carolina Gallardo, ...
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 3 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore