509 search results - page 10 / 102 » A formal representation of functional size measurement metho... |
RSP
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
KI
2002
Springer
13 years 8 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
TOOLS
1997
IEEE
14 years 1 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...