859 search results - page 25 / 172 » Implementing CMMI using a Combination of Agile Methods |
100
click to vote
WSC
1997
15 years 1 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Spectral clustering is a simple yet powerful method for finding structure in data using spectral properties of an associated pairwise similarity matrix. This paper provides new in...
103
click to vote
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
FORTE
1997
1997
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
15 years 1 months ago
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...