2748 search results - page 272 / 550 » Generating Object-Z Specifications from Use Cases |
141
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
180
click to vote
SIAMREV
2010
14 years 10 months ago
2010
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
244
click to vote
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
The emergence of a large number of bioinformatics datasets on the Internet has resulted in the need for flexible and efficient approaches to integrate information from multiple bio...
118
click to vote
ICONIP
2008
15 years 5 months ago
2008
In this paper, we try to develop a machine learning-based virus email detection method. The key feature of this paper is employing Mail Header and Encoding Anomaly(MHEA) [1]. MHEA ...
127
Voted
SCM
1998
15 years 5 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...