Sciweavers

9018 search results - page 1294 / 1804
» 3D-Brain Model Software
Sort
View
FOSSACS
2009
Springer
16 years 1 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
ACISICIS
2008
IEEE
16 years 1 months ago
Developing Accessible Applications with User-Centered Architecture
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...
Sabina Jeschke, Helmut Vieritz, Olivier Pfeiffer
ASIAMS
2008
IEEE
16 years 1 months ago
Computational Intelligence and Geo-Informatics in Viticulture
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...
Subana Shanmuganathan, Philip Sallis, Leopoldo Pav...
ISORC
2008
IEEE
16 years 1 months ago
QoS Aware Dependable Distributed Stream Processing
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
Vana Kalogeraki, Dimitrios Gunopulos, Ravi S. Sand...
ACSAC
2007
IEEE
16 years 1 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...
« Prev « First page 1294 / 1804 Last » Next »