1042 search results - page 50 / 209 » Towards Requirements Engineering of Active Database Systems |
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
ICSE
2001
IEEE-ACM
14 years 3 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
CIKM
2008
Springer
14 years 24 days ago
2008
Springer
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...
COOPIS
1998
IEEE
14 years 3 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
EUSAI
2004
Springer
14 years 4 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...