9110 search results - page 1428 / 1822 » Formally-Based Design Evaluation |
159
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...
165
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
184
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
166
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Unrestricted information flows are a key security weakness of current web design. Cross-site scripting, cross-site request forgery, and other attacks typically require that inform...
179
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...