Sciweavers

7139 search results - page 1201 / 1428
» Language Engineering in Practice
Sort
View
115
Voted
MDAFA
2004
Springer
114views Hardware» more  MDAFA 2004»
15 years 10 months ago
Modeling in the Large and Modeling in the Small
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
Jean Bézivin, Frédéric Jouaul...
PCM
2004
Springer
168views Multimedia» more  PCM 2004»
15 years 10 months ago
Approximating Inference on Complex Motion Models Using Multi-model Particle Filter
Abstract. Due to its great ability of conquering clutters, which is especially useful for high-dimensional tracking problems, particle filter becomes popular in the visual trackin...
Jianyu Wang, Debin Zhao, Shiguang Shan, Wen Gao
CSFW
2003
IEEE
15 years 10 months ago
Probabilistic Noninterference through Weak Probabilistic Bisimulation
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
Geoffrey Smith
163
Voted
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
15 years 10 months ago
Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
Maaret Pyhäjärvi, Kristian Rautiainen, J...
IPPS
2003
IEEE
15 years 10 months ago
Wrapping Legacy Codes for Grid-Based Applications
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
Yan Huang, Ian Taylor, David W. Walker, Robert Dav...
« Prev « First page 1201 / 1428 Last » Next »