2599 search results - page 51 / 520 » A Tool for Supporting Feature-Driven Development |
126
Voted
DAC
2010
ACM
14 years 11 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
120
Voted
USAB
2010
14 years 11 months ago
2010
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
105
click to vote
WRLA
2010
14 years 11 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
80
Voted
JUCS
2010
14 years 11 months ago
2010
: The availability of applications able to exploit multi-device environments is steadily increasing. Rather than using all devices in the same way, users tend to assign different r...
124
click to vote
JUCS
2010
14 years 7 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...