Sciweavers

6722 search results - page 1211 / 1345
» The DSML4MAS development environment
Sort
View
FASE
2007
Springer
15 years 10 months ago
Scenario-Driven Dynamic Analysis of Distributed Architectures
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
George Edwards, Sam Malek, Nenad Medvidovic
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
GECCO
2007
Springer
200views Optimization» more  GECCO 2007»
15 years 10 months ago
Adaptive genetic programming for option pricing
Genetic Programming (GP) is an automated computational programming methodology, inspired by the workings of natural evolution techniques. It has been applied to solve complex prob...
Zheng Yin, Anthony Brabazon, Conall O'Sullivan
HPCC
2007
Springer
15 years 10 months ago
Towards Scalable Event Tracing for High End Systems
Although event tracing of parallel applications offers highly detailed performance information, tracing on current leading edge systems may lead to unacceptable perturbation of the...
Kathryn Mohror, Karen L. Karavanic
ICB
2007
Springer
119views Biometrics» more  ICB 2007»
15 years 10 months ago
Nonlinear Iris Deformation Correction Based on Gaussian Model
Current iris recognition systems can achieve high level of success under restricted conditions, while they still face challenges of utilizing images with heavy deformation caused b...
Zhuoshi Wei, Tieniu Tan, Zhenan Sun
« Prev « First page 1211 / 1345 Last » Next »