3828 search results - page 624 / 766 » Proof-Based System Engineering Using a Virtual System Model |
141
Voted
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...
222
click to vote
ICSEA
2009
IEEE
15 years 2 months ago
2009
IEEE
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
140
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
147
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...
138
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....