Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
26
click to vote
BELL
2000
118
views
more
BELL 2000
»
Technology evolution for mobile and personal communications
13 years 11 months ago
Download
www.cse.buffalo.edu
George I. Zysman, Joseph A. Tarallo, Richard E. Ho...
claim paper
Read More »
23
click to vote
BELL
2000
45
views
more
BELL 2000
»
Predicting risk of software changes
13 years 11 months ago
Download
www.mockus.us
Audris Mockus, David M. Weiss
claim paper
Read More »
25
click to vote
BELL
2000
45
views
more
BELL 2000
»
New directions in services management
13 years 11 months ago
Download
path.berkeley.edu
Debasis Mitra, Kenan E. Sahin, Ravi Sethi, Abraham...
claim paper
Read More »
19
click to vote
BELL
2000
34
views
more
BELL 2000
»
Wireless data networking, standards, and applications
13 years 11 months ago
Download
www.cse.buffalo.edu
Nitin J. Shah, Anil S. Sawkar, John A. Marinho, Kr...
claim paper
Read More »
18
click to vote
BELL
2000
39
views
more
BELL 2000
»
Evolution of switching architecture to support voice telephony over ATM
13 years 11 months ago
Download
www.porticus.org
Judith R. McGoogan, Joseph E. Merritt, Yogesh J. D...
claim paper
Read More »
39
click to vote
BELL
2000
107
views
more
BELL 2000
»
Automating software feature verification
13 years 11 months ago
Download
spinroot.com
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
claim paper
Read More »
24
click to vote
BELL
2000
40
views
more
BELL 2000
»
Software verification at Bell Labs: One line of development
13 years 11 months ago
Download
spinroot.com
Gerard J. Holzmann
claim paper
Read More »
19
click to vote
BELL
2000
41
views
more
BELL 2000
»
Automated software development with XML and the Java* language
13 years 11 months ago
Download
xml.coverpages.org
Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. ...
claim paper
Read More »
16
click to vote
BELL
2000
58
views
more
BELL 2000
»
The lasers behind the communications revolution
13 years 11 months ago
Download
www.ele.uva.es
William F. Brinkman, Thomas L. Koch, David V. Lang...
claim paper
Read More »
17
click to vote
BELL
2000
50
views
more
BELL 2000
»
Bell Labs innovations in recent decades
13 years 11 months ago
Download
www.porticus.org
William O. Baker, Ian M. Ross, John S. Mayo, Danie...
claim paper
Read More »
1
2
next ›
last »