Sciweavers

6431 search results - page 708 / 1287
» Model Building by Resolution
Sort
View
KI
2007
Springer
16 years 1 months ago
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
Pierre Hallot, Roland Billen
APSEC
2006
IEEE
16 years 1 months ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
168
Voted
FDL
2006
IEEE
16 years 1 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
ICDM
2006
IEEE
158views Data Mining» more  ICDM 2006»
16 years 1 months ago
A Probability Distribution Of Functional Random Variable With A Functional Data Analysis Application
Probability distributions are central tools for probabilistic modeling in data mining, and they lack in functional data analysis (FDA). In this paper we propose a probability dist...
Etienne Cuvelier, Monique Noirhomme-Fraiture
191
Voted
ICSM
2005
IEEE
16 years 25 days ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens