Sciweavers

1631 search results - page 251 / 327
» Uniform Distributed Synthesis
Sort
View
APPROX
2004
Springer
105views Algorithms» more  APPROX 2004»
15 years 6 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...
124
Voted
CAISE
2004
Springer
15 years 6 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 6 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...
101
Voted
IH
2004
Springer
15 years 6 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 6 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