1823 search results - page 299 / 365 » Formal specification: a roadmap |
APSEC
2008
IEEE
13 years 9 months ago
2008
IEEE
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...
DATE
2008
IEEE
13 years 9 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
FC
2008
Springer
13 years 9 months ago
2008
Springer
Oblivious transfer (OT) is a fundamental primitive used in many cryptographic protocols, including general secure function evaluation (SFE) protocols. However, interaction is a pri...
AAAI
2010
13 years 9 months ago
2010
Many problems in information extraction, text mining, natural language processing and other fields exhibit the same property: multiple prediction tasks are related in the sense th...