3555 search results - page 235 / 711 » Security-Critical System Development with Extended Use Cases |
151
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
160
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
142
Voted
CC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
171
Voted
USENIX
2000
15 years 6 months ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
139
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...