1078 search results - page 104 / 216 » Modelling and Verifying of e-Commerce Systems |
124
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The objective of this study is to identify the relationships in which social support influences flow and game loyalty through character control, character identity, guild identity...
136
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
124
click to vote
AVI
1998
15 years 5 months ago
1998
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
154
click to vote
CORR
2012
Springer
14 years 2 days ago
2012
Springer
Graphs are fundamental data structures and have been employed for centuries to model real-world systems and phenomena. Random walk with restart (RWR) provides a good proximity sco...
143
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...