3047 search results - page 352 / 610 » On the Meaning of Logical Completeness |
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Many researchers have noted that web search queries are often ambiguous or unclear. We present an approach for identifying the popular meanings of queries using web search logs an...
ASSETS
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents a unique approach to undergraduate teaching in which accessibility topics are completely integrated throughout the curriculum, treating accessibility not as a ...
DELTA
2008
IEEE
15 years 5 months ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...