2373 search results - page 211 / 475 » Complexities for generalized models of self-assembly |
150
click to vote
SIGADA
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
183
click to vote
RE
2004
Springer
15 years 12 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
167
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
The use of random fields, which allows one to take into account the spatial interaction among random variables in complex systems, is a frequent tool in numerous problems of stati...
132
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
179
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
Currently, many privacy-preserving data mining (PPDM) algorithms assume the semi-honest model and/or malicious model of multi-party interaction. However, both models are far from ...