Sciweavers

1593 search results - page 163 / 319
» A visual programming system for automated problem solving
Sort
View
PDP
2005
IEEE
15 years 10 months ago
Distributed Local Resolution of Boolean Equation Systems
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
Christophe Joubert, Radu Mateescu
CP
2000
Springer
15 years 8 months ago
Practical Investigation of Constraints with Graph Views
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
Tobias Müller
WSC
2001
15 years 5 months ago
The design of a web-based training system for simulation analysis
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...
Yu-Hui Tao, Shin-Ming Guo
VIROLOGY
2008
121views more  VIROLOGY 2008»
15 years 4 months ago
Constructing malware normalizers using term rewriting
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
Andrew Walenstein, Rachit Mathur, Mohamed R. Chouc...
CDC
2010
IEEE
152views Control Systems» more  CDC 2010»
14 years 10 months ago
Optimal network topology design in multi-agent systems for efficient average consensus
The problem considered in the present article is optimal design of network topologies in multi-agent systems in order to make communication on the network as efficient as possible ...
Mohammad Rafiee, Alexandre M. Bayen