Sciweavers

28445 search results - page 164 / 5689
» Anatomically based modeling
Sort
View
SCAM
2008
IEEE
14 years 4 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
ICRA
2005
IEEE
161views Robotics» more  ICRA 2005»
14 years 3 months ago
Dynamic Modeling of Linear Object Deformation based on Differential Geometry Coordinates
— This paper describes the dynamic modeling of linear object deformation based on differential geometry coordinates. Deformable linear objects such as cables and strings are wide...
Hidefumi Wakamatsu, Kousaku Takahashi, Shinichi Hi...
CEEMAS
2005
Springer
14 years 3 months ago
Case-Based Student Modeling in Multi-agent Learning Environment
Abstract. The student modeling (SM) is a core component in the development of Intelligent Learning Environments (ILEs). In this paper we describe how a Multi-agent Intelligent Lear...
Carolina González, Juan C. Burguillo-Rial, ...
INFOCOM
1999
IEEE
14 years 2 months ago
A Model for Window Based Flow Control in Packet-Switched Networks
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
Xiaowei Yang
ECOOP
2006
Springer
14 years 1 months ago
Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels