4609 search results - page 403 / 922 » Automatic Generation of Sigma-Protocols |
199
click to vote
APSEC
2006
IEEE
16 years 26 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
178
click to vote
ISSRE
2006
IEEE
16 years 24 days ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
200
click to vote
APWEB
2005
Springer
16 years 10 days ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
167
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
189
click to vote
RSP
2003
IEEE
16 years 2 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...