12670 search results - page 383 / 2534 » Requirements Modeling |
146
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
169
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Terminological interference occurs in requirements engineering when stakeholders vary in the concepts they use to understand a problem domain, and the terms they use to describe t...
153
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Today, hot embossing and injection molding belong to the established plastic molding processes in microengineering. Based on experimental findings, a variety of microstructures ha...
184
click to vote
JUCS
2010
15 years 5 months ago
2010
: A natural interface is one of three key technologies of Ambient Intelligence (AmI); one of its main objectives is to minimize the user’s interactive effort, which is the diffic...
199
click to vote
ICONIP
2010
15 years 4 months ago
2010
Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, and on the other hand interaction with others with possibly d...