1988 search results - page 95 / 398 » Engineering formal metatheory |
FSEN
2007
Springer
14 years 23 days ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
AOSE
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...