448 search results - page 27 / 90 » A Meta-Method for Formal Method Integration |
234
Voted
CGF
2011
14 years 9 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
IJCM
2007
15 years 2 months ago
2007
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...
108
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
160
Voted
CBSQ
2003
Springer
15 years 7 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
108
Voted
ECWEB
2005
Springer
15 years 8 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...