Sciweavers

1631 search results - page 251 / 327
» Uniform Distributed Synthesis
Sort
View
APPROX
2004
Springer
105views Algorithms» more  APPROX 2004»
15 years 11 months ago
Counting Connected Graphs and Hypergraphs via the Probabilistic Method
While it is exponentially unlikely that a sparse random graph or hypergraph is connected, with probability 1 − o(1) such a graph has a “giant component” that, given its numbe...
Amin Coja-Oghlan, Cristopher Moore, Vishal Sanwala...
CAISE
2004
Springer
15 years 11 months ago
Object-Process Methodology (OPM) vs. UML - a Code Generation Perspective
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
Iris Reinhartz-Berger, Dov Dori
ICWL
2004
Springer
15 years 11 months ago
PKUSpace: A Collaborative Platform for Scientific Researching
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
Ming Zhang, Dongqing Yang, Zhi-Hong Deng, Ying Fen...
IH
2004
Springer
15 years 11 months ago
On the Possibility of Non-invertible Watermarking Schemes
Recently, there are active discussions on the possibility of non-invertible watermarking scheme. A non-invertible scheme prevents an attacker from deriving a valid watermark from a...
Qiming Li, Ee-Chien Chang
JIT
2004
Springer
123views Database» more  JIT 2004»
15 years 11 months ago
Listening to Agents - Transparent Representation and Presentation of Agent Communication in Mobile Systems
In the research domain agent-based systems are widely used for mobile and distributed information systems. Their underlying paradigm provides excellent mechanisms to isolate tasks ...
Matthias Jöst, Matthias Merdes, Rainer Malaka