3799 search results - page 708 / 760 » An Engineering Approach to Formal Methods |
113
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Although feature modelling is a frequently used approach to the task of modelling commonality and variability within product lines, there is currently no standard modelling notati...
133
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
123
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 10 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
152
click to vote
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
130
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...