Works Published in 2005
Displaying works 1 - 20 of 129 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2005 article proceedings
Secure reporting of traffic forwarding activity in mobile ad hoc networks
Presented at the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services.
Event: The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services
TL;DR:
A protocol that uses nodes on the data path to securely produce packet forwarding reports and the integrity and authenticity of reports are preserved through the use of secure link layer acknowledgments and monitoring reports is proposed.
(via Semantic Scholar)
Source: Crossref
Added: January 5, 2024
2005 conference paper
Secure reporting of traffic forwarding activity in mobile ad hoc networks
The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 12–21.
Event: IEEE
Source: ORCID
Added: January 2, 2024
2005 conference paper
Limiting sybil attacks in structured peer-to-peer networks
IEEE Infocom Mini-Symposium.
Source: ORCID
Added: January 2, 2024
2005 conference paper
Exploiting open functionality in SMS-capable cellular networks
Proceedings of the 12th ACM conference on Computer and communications security, 393–404.
Event: ACM
Source: ORCID
Added: January 2, 2024
2005 chapter
Scheduling Algorithms for Unicast, Multicast, and Broadcast
In K. Sivalingam & S. Subramanian (Eds.), The International Series in Engineering and Computer Science (pp. 171–188).
Ed(s): K. Sivalingam & S. Subramanian
TL;DR:
This chapter presents a survey of algorithms for scheduling packet traffic in broadcast optical WDM networks with an emphasis on scheduling techniques for providing best-effort service as well as guaranteed service for both unicast and multi-destination traffic.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: July 2, 2023
2005 journal article
Event-based runtime verification of java programs
ACM SIGSOFT Software Engineering Notes, 30(4), 1–7.
TL;DR:
The temporal logic HAWK and its supporting tool for runtime verification of Java programs are introduced and it is shown that monitoring on a state-by-state basis avoiding any need to store the input trace is achieved.
(via Semantic Scholar)
Source: ORCID
Added: June 21, 2023
2005 conference paper
Efficient Monitoring of omega-Languages
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, 364–378.
TL;DR:
It is shown how Buchi automata can be reduced in size and transformed into special, statistically optimal nondeterministic finite state machines, called binary transition tree finite state Machines (BTT-FSMs), which recognize precisely the minimal bad prefixes of the original ω-regular-language.
(via Semantic Scholar)
link.springer.com (publisher PDF)
Source: ORCID
Added: June 21, 2023
2005 conference paper
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Ed(s): K. Etessami & S. Rajamani
Source: ORCID
Added: June 21, 2023
2005 journal article
An Equational Specification for the Scheme Language
J. UCS, 11(7), 1327–1348.
TL;DR:
The formal semantics of Scheme 3 is described as an equational theory in the Maude rewriting system and some performance results of the interpreter obtained for free from the executable specification are shown.
(via Semantic Scholar)
Source: ORCID
Added: June 21, 2023
2005 journal article
Routing path optimization in optical burst switched networks
2005 Conference on Optical Network Design and Modelling, Proceedings, 1–10.
Contributors: A. Pattavina, G. Rouskas & J. Teng
Source: ORCID
Added: June 21, 2023
2005 chapter
Path switching in OBS networks
In Networking 2005: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems (Vol. 3462, pp. 406–418).
Contributors: K. Almeroth, J. Black, R. Boutaba, R. Puigjaner, G. Rouskas , S. Shen, L. Yang
Source: ORCID
Added: June 21, 2023
2005 journal article
On the Application of K-Center Algorithms to Hierarchical Traffic Grooming
2nd International Conference on Broadband Networks (Broadnets 2005), 295-+.
Contributors: B. Chen, R. Dutta, Ieee & G. Rouskas
Source: ORCID
Added: June 21, 2023
2005 journal article
An Intra- and Inter-Domain Routing Architecture for Optical Burst Switched (OBS) Networks
2nd International Conference on Broadband Networks (Broadnets 2005), 150-+.
Contributors: I. Baldine, A. Bragg*, Ieee, P. Mehrotra n, G. Rouskas n & D. Stevenson*
TL;DR:
An intra- and inter-domain routing architecture for just-in-time (JIT) optical burst switched networks and distinguishes between routing for bursts and ancillary signaling messages ("data plane routing"), and routing for other management and control messages ("control plane routing").
(via Semantic Scholar)
Source: ORCID
Added: June 21, 2023
2005 journal article
A Framework for Hierarchical Traffic Grooming in WDM Networks of General Topology
2nd International Conference on Broadband Networks (Broadnets 2005), 167-+.
Contributors: B. Chen, R. Dutta, Ieee & G. Rouskas
Source: ORCID
Added: June 21, 2023
2005 conference paper
A discourse planning approach to cinematic camera control for narratives in virtual environments
Proceedings of the National Conference on Artificial Intelligence, 1, 307–312. http://www.scopus.com/inward/record.url?eid=2-s2.0-29344452737&partnerID=MN8TOARS
Contributors: A. Jhala & R. Young
Source: ORCID
Added: July 14, 2022
2005 conference paper
Towards an intelligent storyboarding tool for 3D games
ACM International Conference Proceeding Series, 265, 367–368.
Contributors: A. Jhala n , W. Bares * & R. Young n
TL;DR:
An intelligent storyboarding tool that takes as an input abstract annotated action specification to generate camera actions and geometric constraints for executing as a dynamic storyboard is presented.
(via Semantic Scholar)
Source: ORCID
Added: July 14, 2022
2005 chapter
Natural language processing in educational systems
In H. Tanaka (Ed.), Encyclopedia of Artificial Intelligence. Tokyo, Japan: Japan Society of Artificial Intelligence.
Ed(s): H. Tanaka
Source: NC State University Libraries
Added: December 26, 2021
2005 chapter
Instructional strategies
In H. Tanaka (Ed.), Encyclopedia of Artificial Intelligence. Tokyo, Japan: Japan Society of Artificial Intelligence.
Ed(s): H. Tanaka
Source: NC State University Libraries
Added: November 24, 2021
2005 chapter
Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11
In EUROSAM 84 (pp. 310–320).
TL;DR:
This paper gives an explicit construction of the Hilbert class fields of some imaginary quadratic fields with class numbers 7 and 11 by explicitly evaluating the elliptic modular j -invariant at each representative of the ideal class of an imaginary Quadratic field, and forming the class equation.
(via Semantic Scholar)
Source: Crossref
Added: June 15, 2021
2005 journal article
Optical burst switching for the next generation Internet
IEEE Potentials, 23(5), 40–43.
TL;DR:
The main features of an OBS network, its benefits as well as its challenges are described, which efficiently supports the transmission of bursty traffic over an all-optical infrastructure.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(OpenAlex)
Sources: Crossref, NC State University Libraries
Added: March 4, 2021
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
