3828 search results - page 576 / 766 » Proof-Based System Engineering Using a Virtual System Model |
171
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
186
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
197
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
We investigate the performance of longest-queue-first (LQF) scheduling (i.e., greedy maximal scheduling) for wireless networks under the SINR interference model. This interference...
173
click to vote
MSR
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...
184
click to vote
MIG
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...