2088 search results - page 79 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
128
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
104
click to vote
DSVIS
1998
Springer
15 years 4 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
100
click to vote
AHS
2007
IEEE
15 years 3 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
130
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...