Sciweavers

209 search results - page 25 / 42
» Monte Carlo Go Has a Way to Go
Sort
View
ACSAC
2000
IEEE
13 years 11 months ago
Layering Boundary Protections: An Experiment in Information Assurance
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
D. Johnson, L. Benzinger
APPROX
2000
Springer
153views Algorithms» more  APPROX 2000»
13 years 11 months ago
Randomized path coloring on binary trees
Motivated by the problem of WDM routing in all–optical networks, we study the following NP–hard problem. We are given a directed binary tree T and a set R of directed paths on ...
Vincenzo Auletta, Ioannis Caragiannis, Christos Ka...
EDBTW
2010
Springer
13 years 10 months ago
Flexible Dataspace Management Through Model Management
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
Cornelia Hedeler, Khalid Belhajjame, Lu Mao, Norma...
EUROSPI
2008
Springer
13 years 9 months ago
Lightweight Process Documentation: Just Enough Structure in Automotive Pre-development
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...
Kai Stapel, Eric Knauss, Christian Allmann
DAGSTUHL
2006
13 years 8 months ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...