Sciweavers

3792 search results - page 359 / 759
» Techniques for Trusted Software Engineering
Sort
View
CSMR
2007
IEEE
16 years 1 months ago
Monitoring Requirements Evolution using Views
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
Marco Lormans
SEKE
1993
Springer
15 years 10 months ago
Developing Knowledge-Based Systems with Active Expert Participation
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
Kristian Sandahl
CODES
2006
IEEE
16 years 24 days ago
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
Roshan G. Ragel, Sri Parameswaran
GCSE
2001
Springer
15 years 11 months ago
Reflection Support by Means of Template Metaprogramming
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
Giuseppe Attardi, Antonio Cisternino
CODES
2009
IEEE
15 years 10 months ago
Squashing microcode stores to size in embedded systems while delivering rapid microcode accesses
Microcoded customized IPs offer superior performance and direct programmability of micro-architectural structures compared to instruction-based processors, yet at the cost of dra...
Chengmo Yang, Mingjing Chen, Alex Orailoglu