1107 search results - page 94 / 222 » Variability Management on Behavioral Models |
188
click to vote
DSS
2011
14 years 5 months ago
2011
Abstract: Much has been written about word of mouth and customer behavior. Telephone call detail records provide a novel way to understand the strength of the relationship between ...
ISDA
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider the construction and management of user profiles for an agent-based travel support system, with the goal of providing personalized content for individual users of the ...
128
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
107
click to vote
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
131
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...