4258 search results - page 325 / 852 » Languages and Interactive Software Development |
196
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
188
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
177
click to vote
WICSA
2004
15 years 8 months ago
2004
We present the work of establishing an integrated environment that facilitates architecture design, reconstruction, and maintenance in the entire life cycle of a software product ...
212
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Research has argued that social interaction is a primary driving force for gamers to continue to play Massive Multiple Online Role Playing Games (MMORPGs). However, one recent stu...
165
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Multi-touch interaction techniques are becoming more widespread because of new industrial initiatives to make this hardware available and affordable for the consumer market. To co...