7918 search results - page 142 / 1584 » Model Composition Directives |
110
Voted
AAAI
2007
15 years 3 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
133
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—In this paper, we address a new unexplored problem - what are the optimal patterns to achieve connected coverage in wireless networks with directional antennas. As their name im...
93
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
128
click to vote
VL
1996
IEEE
15 years 5 months ago
1996
IEEE
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
114
Voted
BMCBI
2010
15 years 27 days ago
2010
Background: Phosphorylation events direct the flow of signals and metabolites along cellular protein networks. Current annotations of kinase-substrate binding events are far from ...