2514 search results - page 338 / 503 » The use of industrial-strength formal methods |
153
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
This paper investigates one of the existing methods for measuring usability – Logic Scoring Preference (LSP), and discusses the results of two formal experiments carried out to a...
180
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
163
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
149
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
142
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...