20175 search results - page 3914 / 4035 » Is abstraction the key to computing |
119
click to vote
SCP
2008
15 years 12 days ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...
108
click to vote
SIGECOM
2008
ACM
15 years 12 days ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
114
Voted
SP
2008
IEEE
15 years 12 days ago
2008
IEEE
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
146
click to vote
TASE
2008
IEEE
15 years 12 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
INTERNET
2007
15 years 12 days ago
2007
evel of abstraction, we can represent a workflow as a directed graph with operators (or tasks) at the vertices (see Figure 1). Each operator takes inputs from data sources or from ...