846 search results - page 120 / 170 » Separating Designs from Implementations: Role-Based Software... |
129
click to vote
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
110
click to vote
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
: A data warehouse is a database focused on decision making. It is built separately from the transactional (OLTP) databases of the enterprise, although it is partly fed from transa...
104
click to vote
SIGOPS
2008
15 years 1 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
120
click to vote
RSP
1999
IEEE
15 years 5 months ago
1999
IEEE
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
120
click to vote
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...