3045 search results - page 447 / 609 » Formal Approaches to Software Architecture |
148
click to vote
ENTER
2010
Springer
15 years 5 months ago
2010
Springer
SEMAMO (SEmantic MArket MOnitoring) is a research project seeking to make use of the increasingly growing information available at Web-based sales and marketing channels for conti...
186
click to vote
HCI
2009
15 years 4 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
170
click to vote
FOSSACS
2005
Springer
16 years 4 days 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 infinite states, thus making model ...
186
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
191
click to vote
EUROSPI
2005
Springer
16 years 4 days ago
2005
Springer
The Rational Unified Process (RUP) is a comprehensive software development process framework emphasizing use-cases, architecture focus and an iterative approach. RUP is widely know...