Sciweavers

796 search results - page 73 / 160
» Software Engineering for the Next Internet
Sort
View
ISSTA
2009
ACM
15 years 4 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
COMPSAC
2008
IEEE
15 years 4 months ago
Trade-off Analysis of Identity Management Systems with an Untrusted Identity Provider
—Internet users interact with multiple Web Service Providers (WSP), and therefore, must remember and manage multiple passwords. Users try to overcome the burden of password manag...
Golnaz Elahi, Zeev Lieber, Eric S. K. Yu
IUI
2000
ACM
15 years 2 months ago
Efficient text summarization using lexical chains
The rapid growth of the Internet has resulted in enormous amounts of information that has become more difficult to access efficiently. Internet users require tools to help manage ...
H. Gregory Silber, Kathleen F. McCoy
WACC
1999
ACM
15 years 2 months ago
SaveMe: a system for archiving electronic documents using messaging groupware
Today, organizations deal with an ever-increasing number of documents that have to be archived because they are either related to their core business (e.g., product designs) or ne...
Stefan Berchtold, Alexandros Biliris, Euthimios Pa...
IESA
2007
14 years 11 months ago
The Interoperability of Information and its Representation in New Media: A Case Study of a Global Content Provider
This paper focuses on the construct of interoperability of web-based information applications, commonly known as ‘mashups’, reporting a case study of a global content provider...
J. Mariategui, J. Kallinikos