6581 search results - page 63 / 1317 » Formalizing Design Patterns |
105
click to vote
FMSB
2008
15 years 4 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
115
Voted
PAKDD
2007
ACM
15 years 8 months ago
2007
ACM
The emerging interests in spatial pattern mining lead to the demand for a flexible spatial pattern mining language, on which easy to use and understand visual pattern language cou...
142
click to vote
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
106
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
205
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE