Sciweavers

2245 search results - page 88 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 8 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
OTM
2005
Springer
15 years 10 months ago
Providing Autonomic Features to a Data Grid
Autonomic and Grid computing are complementary, in the sense that complex grid environments can take advantage of the features provided by autonomic computing and on the other hand...
María S. Pérez, Alberto Sánch...
COMPSAC
2008
IEEE
15 years 6 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
JSS
2010
132views more  JSS 2010»
14 years 11 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
GPCE
2009
Springer
15 years 9 months ago
Safe composition of non-monotonic features
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
Martin Kuhlemann, Don S. Batory, Christian Kä...