286 search results - page 32 / 58 » Crypto Engineering: Some History and Some Case Studies |
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
AUTONOMICS
2008
ACM
13 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
ML
2008
ACM
13 years 7 months ago
2008
ACM
This paper explores the addition of constraints to the linear programming formulation of the support vector regression problem for the incorporation of prior knowledge. Equality an...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
How and why does software evolve? This question has been under study since almost 40 years ago, and it is still a subject of controversy. In the seventies, Meir M. Lehman formulat...