2274 search results - page 298 / 455 » Qualitative Modeling for Requirements Engineering |
166
click to vote
JUCS
2007
15 years 6 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
183
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...
206
click to vote
MOBICOM
2004
ACM
15 years 12 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eļ...
178
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
Associativity between feature models implies the automatic updating of diļ¬erent feature models of a part after changes are made in one of its feature models. This is an importan...
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often inļ¬nite states, thus making model ...