2364 search results - page 321 / 473 » An Engine for Computing Well-Founded Models |
149
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The stigmergy collaboration approach provides a hypothesized explanation about how online groups work together. In this research, we presented a stigmergy approach for building ...
151
click to vote
FSTTCS
2009
Springer
16 years 29 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
185
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
167
click to vote
ICPPW
2006
IEEE
16 years 13 days ago
2006
IEEE
The vast majority of research projects involving Grid Computing have focused on the development and standardization of the middleware that allows Grids to function. Despite the ma...
158
click to vote
SLIP
2006
ACM
16 years 11 days ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...