4140 search results - page 191 / 828 » A Use Case Based Approach to Feature Models' Construction |
164
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
163
click to vote
SCAM
2006
IEEE
16 years 16 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
218
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
163
click to vote
RAS
2010
15 years 5 months ago
2010
One important design decision for the development of autonomously navigating mobile robots is the choice of the representation of the environment. This includes the question which...
165
click to vote
JNW
2008
15 years 6 months ago
2008
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...