2114 search results - page 319 / 423 » Practical Approaches for Software Adaptation |
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
IUI
2006
ACM
14 years 4 months ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
ACSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
JCDL
2003
ACM
14 years 3 months ago
2003
ACM
Although the OAI-PMH specification is focused on making it straightforward for data providers to expose metadata, practice shows that in certain significant situations deployment ...
B
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...