919 search results - page 153 / 184 » A Case Study in Systematic Improvement of Language for Requi... |
SARA
2009
Springer
14 years 3 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
High Definition (HD) H.264/AVC video compression is the emerging necessity on nowadays home entertainment environment and so on. However, Although B-frame coding scheme provides ...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a case study of developing a digital media indexing application, code-named MARVEL, on the STI Cell Broadband Engine (CBE) processor. There are two aspects of the targe...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Capturing the technical knowledge, contextual information, and rationale surrounding the design decisions underpinning system architectures can greatly improve the software develo...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...