3844 search results - page 611 / 769 » Modular interpreted systems |
144
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
153
click to vote
HICSS
2006
IEEE
16 years 15 days ago
2006
IEEE
Profiles have become a common mechanism for presenting one’s identity online. With the popularity of online social networking services such as Friendster.com, Profiles have been...
159
click to vote
IUI
2006
ACM
16 years 12 days ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
173
click to vote
MM
2006
ACM
16 years 12 days ago
2006
ACM
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
169
click to vote
ACSAC
2005
IEEE
16 years 2 days ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...