2106 search results - page 380 / 422 » Operational Semantics for DyLPs |
150
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...
137
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
138
click to vote
ICCD
2001
IEEE
16 years 2 months ago
2001
IEEE
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...
158
click to vote
DASFAA
2010
IEEE
16 years 13 days ago
2010
IEEE
Scalable execution of continuous queries over massive data streams often requires splitting input streams into parallel sub-streams over which query operators are executed in paral...
177
click to vote
IDTRUST
2010
ACM
16 years 12 days ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...