Sciweavers

4109 search results - page 514 / 822
» User Interface Software Tools
Sort
View
MM
1993
ACM
126views Multimedia» more  MM 1993»
15 years 10 months ago
Phoneshell: The Telephone as Computer Terminal
This paper describes Phoneshell, a telephone based application providing remote voice access to personal desktop databases such as voice mail, email, calendar, and rolodex. Severa...
Chris Schmandt
CORR
1999
Springer
67views Education» more  CORR 1999»
15 years 6 months ago
ZBroker: A Query Routing Broker for Z39.50 Databases
A query routing broker is a software agent that determines from a large set of accessing information sources the ones most relevant to a user's information need. As the numbe...
Yong Lin, Jian Xu, Ee-Peng Lim, Wee Keong Ng
VSTTE
2010
Springer
15 years 4 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
IEEEARES
2010
IEEE
16 years 18 hour ago
Visualizing Past Personal Data Disclosures
—Today’s rich service offer in the World Wide Web increasingly requires the disclosure of personal user data. Service providers’ appetite for personal user data, however, is ...
Jan Kolter, Michael Netter, Günther Pernul
MM
2005
ACM
88views Multimedia» more  MM 2005»
16 years 8 days ago
LazyCut: content-aware template-based video authoring
Though there are many commercial video authoring tools available today, video authoring remains as a tedious and extremely time consuming task that often requires trained professi...
Xian-Sheng Hua, Zengzhi Wang, Shipeng Li