9110 search results - page 54 / 1822 » Formally-Based Design Evaluation |
IASTEDSE
2004
14 years 11 months ago
2004
200402.tex ABSTRACT To detect theft of Java class files efficiently, we have so far proposed a concept of Java birthmarks. Since the birthmarks are unique and native characteristic...
JNW
2008
14 years 9 months ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents the design, implementation and validation of an enhanced mobile phone messaging system (DeDe), allowing the sender to define the context in which the message w...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Despite the considerable quantity of research directed towards multitouch technologies, a set of standardized UI components have not been developed. Menu systems provide a particu...
SIGCSE
2010
ACM
15 years 4 months ago
2010
ACM
A significant focus in the United States recently has been to increase engagement and interest in STEM curricula, particularly among girls and underrepresented minorities [3]. In ...