Sciweavers

IFIP
2010
Springer
13 years 7 months ago
Foundations of Attack-Defense Trees
We introduce and give formal definitions of attack
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patr...
GIS
2010
ACM
13 years 11 months ago
Constrained free space diagrams: a tool for trajectory analysis
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...
Kevin Buchin, Maike Buchin, Joachim Gudmundsson
CAD
2005
Springer
14 years 10 days ago
Fidelity in visualizing large-scale simulations
Computer simulations are powerful tools frequently used today in many important applications, for example to build safer buildings, to crash-test an automobile before it is built,...
Voicu Popescu, Christoph M. Hoffmann
ANOR
2005
124views more  ANOR 2005»
14 years 10 days ago
On Compact Formulations for Integer Programs Solved by Column Generation
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
Daniel Villeneuve, Jacques Desrosiers, Marco E. L&...
JSW
2008
105views more  JSW 2008»
14 years 12 days ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke
JNW
2008
101views more  JNW 2008»
14 years 12 days ago
Micro-controller based Remote Monitoring using Mobile through Spoken Commands
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...
Naresh P. Jawarkar, Vasif Ahmed, Siddharth A. Ladh...
CPC
2007
113views more  CPC 2007»
14 years 12 days ago
Regular Partitions of Hypergraphs: Regularity Lemmas
Abstract. Szemer´edi’s regularity lemma for graphs has proved to be a powerful tool with many subsequent applications. The objective of this paper is to extend the techniques de...
Vojtech Rödl, Mathias Schacht
ENTCS
2006
100views more  ENTCS 2006»
14 years 13 days ago
Typed Mobile Ambients in Maude
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
Fernando Rosa Velardo, Clara Segura, Alberto Verde...
ENTCS
2008
106views more  ENTCS 2008»
14 years 15 days ago
Computability and Representations of the Zero Set
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
Pieter Collins
ECSCW
1993
14 years 1 months ago
Sharing To-Do Lists with a Distributed Task Manager
: We describe a simple and powerful tool for the management of distributed work: the Task Manager. Common tasks may be shared and manipulated independently by a number of people. T...
Thomas Kreifelts, Elke Hinrichs, Gerd Woetzel