2513 search results - page 368 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
94
Voted
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
105
click to vote
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
VL
2005
IEEE
15 years 3 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
118
click to vote
EKAW
1992
Springer
15 years 2 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
88
Voted
MANSCI
2011
14 years 1 months ago
2011
Many revenue management (RM) industries are characterized by (a) fixed capacities in the short term (e.g., hotel rooms, seats on an airline flight), (b) homogeneous products (e....