3495 search results - page 429 / 699 » On the random satisfiable process |
152
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...
182
click to vote
ICDCIT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Organizations are increasingly using the the eXtensible Markup Language (XML) for document representation and exchange on the Web. To protect an XML document from unautho...
159
click to vote
SEMWEB
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
149
click to vote
WDAG
2004
Springer
16 years 57 min ago
2004
Springer
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
162
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...