Sciweavers

4679 search results - page 214 / 936
» Modeling When Connections Are the Problem
Sort
View
QOSA
2009
Springer
15 years 10 months ago
Automated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
Matthias Biehl, Welf Löwe
PADS
1997
ACM
15 years 9 months ago
Distributed Simulation of Spatially Explicit Ecological Models
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
Kevin Glass, Marilynn Livingston, John S. Conery
IROS
2008
IEEE
106views Robotics» more  IROS 2008»
15 years 12 months ago
Viability and predictive control for safe locomotion
— The problem of safe locomotion of legged and wheeled robots, when trying to avoid falling, tipping over or hitting obstacles, appears to be a problem of viability and not of Ly...
Pierre-Brice Wieber
SCAM
2008
IEEE
15 years 11 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
COLING
2000
15 years 6 months ago
An English to Korean Transliteration Model of Extended Markov Window
Automatic transliteration problem is to transcribe foreign words in one's own alphabet. Machine generated transliteration can be useful in various applications such as indexi...
Sung Young Jung, SungLim Hong, Eunok Paek