4930 search results - page 770 / 986 » Testing a Safety-Critical Application |
176
click to vote
PADS
2000
ACM
15 years 11 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
139
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
192
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
153
Voted
ASYNC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
201
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...