8627 search results - page 225 / 1726 » Software Engineering Using RATionale |
171
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
147
click to vote
ITICSE
2009
ACM
16 years 27 days ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signi...
149
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
179
click to vote
ACSAC
2005
IEEE
16 years 9 hour ago
2005
IEEE
We present the sHype hypervisor security architecture and examine in detail its mandatory access control facilities. While existing hypervisor security approaches aiming at high a...
181
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...