1435 search results - page 185 / 287 » CASE Support and Model-Based Development |
EUROCRYPT
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
ISSRE
2002
IEEE
14 years 2 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
FLAIRS
2004
13 years 11 months ago
2004
In human-human conversation, people use linguistic expressions that are flexibly tailored to context as a matter of course, and they expect their conversational partners to do lik...