8232 search results - page 1270 / 1647 » Dynamic Logic Programming |
147
Voted
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
165
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Using the particular example of online banking services, we examine the effects of pricing strategies on the demand for different modes of online banking given that the market exh...
207
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
187
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
170
Voted
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...