6978 search results - page 190 / 1396 » Reframing Requirements Analysis |
DAC
1996
ACM
15 years 2 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Mining software repositories for bug detection requires accurate techniques of identifying bug-fix revisions. There have been many researches to find exact bug-fix revisions. Howe...
73
Voted
ECLIPSE
2007
ACM
15 years 2 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
111
click to vote
DEXAW
2004
IEEE
15 years 2 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
99
Voted
DSD
2004
IEEE
15 years 2 months ago
2004
IEEE
In this paper we present an analysis of the minimal hardware precision required to implement Support Vector Machine (SVM) classification within a Logarithmic Number System archite...