326 search results - page 64 / 66 » Tailoring and Verifying Software Process |
DAC
2005
ACM
16 years 17 days ago
2005
ACM
User authentication, which refers to the process of verifying the identity of a user, is becoming an important security requirement in various embedded systems. While conventional...
108
click to vote
OTM
2009
Springer
15 years 6 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
103
click to vote
CDVE
2007
Springer
15 years 5 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
108
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
103
click to vote
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...