A computer science undergraduate specialization in telecommunications and computer networking
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Simulation game for teaching communications protocols
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Internet Web servers: workload characterization and performance implications
IEEE/ACM Transactions on Networking (TON)
Tolerant synchronization for distributed simulations of interconnected computer networks
Proceedings of the eleventh workshop on Parallel and distributed simulation
Hashed and hierarchical timing wheels: efficient data structures for implementing a timer facility
IEEE/ACM Transactions on Networking (TON)
Resources for teaching computer networks
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Extended analogy: an alternative lecture method
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
A Positive Acknowledgment Protocol for Causal Broadcasting
IEEE Transactions on Computers
Inter-organizational structures for knowledge sharing
SIGCPR '99 Proceedings of the 1999 ACM SIGCPR conference on Computer personnel research
Education of wireless and ATM networking concepts using hands-on laboratory experience
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Unidirectional links prove costly in wireless ad hoc networks
DIALM '99 Proceedings of the 3rd international workshop on Discrete algorithms and methods for mobile computing and communications
Windows NT software design and implementation for a wireless LAN base station
WOWMOM '99 Proceedings of the 2nd ACM international workshop on Wireless mobile multimedia
Multicast operation of the ad-hoc on-demand distance vector routing protocol
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
A distributed graphics system for large tiled displays
VIS '99 Proceedings of the conference on Visualization '99: celebrating ten years
Networked simulation with HLA and MODSIM III
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Bugs as features: teaching network protocols through debugging
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
The fault span of crash failures
Journal of the ACM (JACM)
Diversity reception in a multihop packet radio network
Mobile Networks and Applications
Emerging mobile and wireless networks
Communications of the ACM
Modeling and simulation of an ATM backbone network
International Journal of Network Management
Congestion control for ABR traffic in an ATM network
International Journal of Network Management
How many QoS classes are optimal?
Proceedings of the 1st ACM conference on Electronic commerce
Proceedings of the 37th Annual Design Automation Conference
Teaching computer networking using open source software
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
The transport layer: tutorial and survey
ACM Computing Surveys (CSUR)
Multicast tree construction and flooding in wireless ad hoc networks
Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
Cellular networks: past, present and future
Crossroads
Crossroads
Spatially distributed databases on sensors
Proceedings of the 8th ACM international symposium on Advances in geographic information systems
Building an intranet in the laboratory
CCSC '00 Proceedings of the fifth annual CCSC northeastern conference on The journal of computing in small colleges
A course on TCP/IP networking with Linux
CCSC '00 Proceedings of the fifth annual CCSC northeastern conference on The journal of computing in small colleges
Parallel shared-memory simulator performance for large ATM networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
On-line analysis of the TCP acknowledgment delay problem
Journal of the ACM (JACM)
RTP: a transport layer implementation project
CCSC '01 Proceedings of the sixth annual CCSC northeastern conference on The journal of computing in small colleges
RTP: a transport layer implementation project
CCSC '01 Proceedings of the sixth annual CCSC northeastern conference on The journal of computing in small colleges
Effects of ad hoc layer medium access mechanisms under TCP
Mobile Networks and Applications
The do-all problem in broadcast networks
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Implicit source routes for on-demand ad hoc network routing
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Making link-state routing scale for ad hoc networks
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
JUMP mode---a dynamic window-based scheduling framework for Bluetooth scatternets
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Jitter control in QoS networks
IEEE/ACM Transactions on Networking (TON)
ACM SIGSOFT Software Engineering Notes
Preserving quality of service guarantees in spite of flow aggregation
IEEE/ACM Transactions on Networking (TON)
Cell identification codes for tracking mobile users
Wireless Networks
Concurrency control for distributed cooperative engineering applications
Proceedings of the 2002 ACM symposium on Applied computing
Selection diversity forwarding in a multihop packet radio network with fading channel and capture
ACM SIGMOBILE Mobile Computing and Communications Review
Mobile ad hoc networks and routing protocols
Handbook of wireless networks and mobile computing
Dominating-set-based routing in ad hoc wireless networks
Handbook of wireless networks and mobile computing
A case for context-aware TCP/IP
ACM SIGMETRICS Performance Evaluation Review
Distributed computation of web queries using automata
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
To java.net and beyond: teaching networking concepts using the Java networking API
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Satellite communications representation in network simulation
Proceedings of the 33nd conference on Winter simulation
Locality-preserving randomized oblivious routing on torus networks
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
A Framework for Cache Management for Mobile Databases: Design and Evaluation
Distributed and Parallel Databases
Cost based data dissemination in satellite networks
Mobile Networks and Applications
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Time bounded medium access control for ad hoc networks
Proceedings of the second ACM international workshop on Principles of mobile computing
Hybrid Genetic Algorithms for Telecommunications Network Back-Up Routeing
BT Technology Journal
The departure process of discrete-time queueing systems with Markovian type inputs
Queueing Systems: Theory and Applications
Continuous queries over data streams
ACM SIGMOD Record
CASiNO: component architecture for simulating network objects
Software—Practice & Experience
Tracking Highly Mobile Endpoints
WOWMOM '01 Proceedings of the 4th ACM international workshop on Wireless mobile multimedia
Analysis on Extended Ant Routing Algorithms for Network Routing and Management
The Journal of Supercomputing
IEEE Transactions on Mobile Computing
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
Extended Dominating-Set-Based Routing in Ad Hoc Wireless Networks with Unidirectional Links
IEEE Transactions on Parallel and Distributed Systems
Scalable Stability Detection Using Logical Hypercube
IEEE Transactions on Parallel and Distributed Systems
Distributed On-Demand Address Assignment in Wireless Sensor Networks
IEEE Transactions on Parallel and Distributed Systems
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Combinatorial design of multi-ring networks with combined routing and flow control
Computer Networks: The International Journal of Computer and Telecommunications Networking
Data Providers - A Language Experiment
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
Evaluation of Video Communication over Packet Switching Networks
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Cost Based Data Dissemination in Broadcast Networks with Disconnection
ICDT '01 Proceedings of the 8th International Conference on Database Theory
IDMS '99 Proceedings of the 6th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
The Raincore Distributed Session Service for Networking Elements
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
An Approach for Heterogeneous Video Multicast Using Active Networking
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Expressing Processes with Different Action Durations through Probabilities
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Genetic Algorithms and Biological Images Restoration: Preliminary Report
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
An Interactive Cryptanalysis Algorithm for the Vigenere Cipher
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
QoS-Driven Load Shedding on Data Streams
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
A Relationship between Densities and Numbers of Hidden Stations of Packet Radio Network
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part I
Live Admission Control for Video Streaming
QoS-IP 2003 Proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks
Open Source, Standards and Scaleable Agencies
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Information Security with Formal Immune Networks
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Markets without Makers - A Framework for Decentralized Economic Coordination in Multiagent Systems
WELCOM '01 Proceedings of the Second International Workshop on Electronic Commerce
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Stabilization of Routing in Directed Networks
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Towards a Taxonomy of Network Protocol Visualization Tools
Revised Lectures on Software Visualization, International Seminar
Dijkstra's Shortest Path Routing Algorithm in Reconfigurable Hardware
FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
Design and Implementation of FPGA Circuits for High Speed Network Monitors
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Project Driven Graduate Network Education
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Avoiding Counting to Infinity in Distance Vector Routing
ICN '01 Proceedings of the First International Conference on Networking-Part 1
A Witness-Aided Routing Protocol for Mobile Ad-Hoc Networks with Unidirectional Links
MDA '99 Proceedings of the First International Conference on Mobile Data Access
A Scalable Process-Management Environment for Parallel Programs
Proceedings of the 7th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Nomad: Application Participation in a Global Location Service
MDM '03 Proceedings of the 4th International Conference on Mobile Data Management
Cycles in Generalized Networks
WG '02 Revised Papers from the 28th International Workshop on Graph-Theoretic Concepts in Computer Science
A New IP Multicast QoS Model on IP Based Networks
ICN '01 Proceedings of the First International Conference on Networking-Part 2
Analysis on a Mobile Agent-Based Algorithm for Network Routing and Management
IEEE Transactions on Parallel and Distributed Systems
Announced dynamic access probability protocol for next generation wireless networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Evolving a CS networking emphasis
Journal of Computing Sciences in Colleges
On defining the service provided by TCP
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Scalable Stability Detection Using Logical Hypercube
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
PCUP: Pipelined Cyclic Upstream Protocol over Hybrid Fiber Coax
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Striping Scheme for Wireless Communication Systems
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Study of a Transport Protocol Employing Bottleneck Probing and Token Bucket Flow Control
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Domination and Its Applications in Ad Hoc Wireless Networks with Unidirectional Links
ICPP '00 Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing
Teaching secure communication protocols using a game representation
ACE '03 Proceedings of the fifth Australasian conference on Computing education - Volume 20
GOAL: a load-balanced adaptive routing algorithm for torus networks
Proceedings of the 30th annual international symposium on Computer architecture
Emergent properties of referral systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A key-based coordination algorithm for dynamic readiness and repair service coordination
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Delay analysis of feedback-synchronization signaling for multicast flow control
IEEE/ACM Transactions on Networking (TON)
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
IEEE/ACM Transactions on Networking (TON)
High-speed I/O: the operating system as a signalling mechanism
NICELI '03 Proceedings of the ACM SIGCOMM workshop on Network-I/O convergence: experience, lessons, implications
Clustering intrusion detection alarms to support root cause analysis
ACM Transactions on Information and System Security (TISSEC)
Analysis and Design of an Agent Searching Algorithm for e-Marketplaces
Cluster Computing
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
On Maximum Rate Control of Weighted Fair Scheduling for Transactional Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Network protocols: correcting transmission errors of up to two bits
ACM SIGCSE Bulletin
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Tools for children to create physical interactive storyrooms
Computers in Entertainment (CIE) - Theoretical and Practical Computer Applications in Entertainment
A New Media Access Control Protocol for Single Hop WDM Networks
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
OLSR Performance Measurement in a Military Mobile Ad-hoc Network
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Efficient routing in PAN and sensor networks
ACM SIGMOBILE Mobile Computing and Communications Review - Special issue on wireless pan & sensor networks
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
A bit-map-assisted energy-efficient MAC scheme for wireless sensor networks
Proceedings of the 3rd international symposium on Information processing in sensor networks
Routing algorithm for multicast under multi-tree model in optical networks
Theoretical Computer Science
Mobile ad hoc networks: principles and practices
Wireless internet handbook
Unicast routing techniques for mobile ad hoc networks
The handbook of ad hoc wireless networks
QoS routing optimization strategy using genetic algorithm in optical fiber communication networks
Journal of Computer Science and Technology
Adaptive channel queue routing on k-ary n-cubes
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Integration of mobile-IP and OLSR for a universal mobility
Wireless Networks
Agent trade servers in financial exchange systems
ACM Transactions on Internet Technology (TOIT)
Wireless communications systems and networks
A process-algebraic approach for the analysis of probabilistic noninterference
Journal of Computer Security
An Extended Localized Algorithm for Connected Dominating Set Formation in Ad Hoc Wireless Networks
IEEE Transactions on Parallel and Distributed Systems
z990 netmessage-protocol-based processor to support element communication interface
IBM Journal of Research and Development
Courtesy Piggybacking: Supporting Differentiated Services in Multihop Mobile Ad Hoc Networks
IEEE Transactions on Mobile Computing
Traffic conditioner: upper bound for the spacer overflow probability
Performance Evaluation
Dynamic spectrum utilization in ad hoc networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Military communications systems and technologies
PMAC: An Adaptive Energy-Efficient MAC Protocol for Wireless Sensor Networks
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 12 - Volume 13
Local Leader Election, Signal Strength Aware Flooding, and Routeless Routing
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 12 - Volume 13
NetPrIDE an integrated environment for developing and visualizing computer network protocols
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Prediction of communication delay in torus networks under multiple time-scale correlated traffic
Performance Evaluation - Performance modelling and evaluation of high-performance parallel and distributed systems
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
A musical duet performance MIDI over IP system
Journal of Computing Sciences in Colleges
A globally stable adaptive congestion control scheme for internet-style networks with delay
IEEE/ACM Transactions on Networking (TON)
The maturity of open systems for B2B
ACM SIGecom Exchanges
Robot teleoperation featuring commercially available wireless network cards
Journal of Network and Computer Applications
A Joint MAC-PHY Approach for Medium Access Control in VBR MC-CDMA Broadband Indoor Connections
Wireless Personal Communications: An International Journal
Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks
IEEE Transactions on Mobile Computing
Bandwidth allocation algorithms for weighted maximum rate constrained link sharing policy
Information Processing Letters
A mathematical model for the TCP tragedy of the commons
Theoretical Computer Science - Game theory meets theoretical computer science
The algorithm of pipelined gossiping
Journal of Systems Architecture: the EUROMICRO Journal
A throughput-efficient two level access control scheme for multimedia CDMA networks
Proceedings of the 2006 international conference on Wireless communications and mobile computing
Detection and diagnosis of data inconsistency failures in wireless sensor networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
A routing protocol for hierarchical LEO/MEO satellite IP networks
Wireless Networks - Special issue: Selected papers from ACM MobiCom 2003
Real time target evaluation search
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
RTP and TCP based MIDI over IP protocols
Proceedings of the 43rd annual Southeast regional conference - Volume 2
3TP: an application-layer protocol for streaming 3-D graphics
ICME '03 Proceedings of the 2003 International Conference on Multimedia and Expo - Volume 2
Performance of STT-Vegas in heterogeneous wired and wireless networks
QShine '06 Proceedings of the 3rd international conference on Quality of service in heterogeneous wired/wireless networks
Closet buddy: dressing the visually impaired
Proceedings of the 44th annual Southeast regional conference
Topographic Visualization of Prefix Propagation in the Internet
IEEE Transactions on Visualization and Computer Graphics
A layered communication architecture for the support of crisis response
Journal of Management Information Systems - Special section: The impacts of business process change on organizational performance
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
An empirical study of reliable multicast protocols over Ethernet-connected networks
Performance Evaluation
The performance analysis of linux networking - Packet receiving
Computer Communications
Model checking the Java metalocking algorithm
ACM Transactions on Software Engineering and Methodology (TOSEM)
Didactic architectures and simulator for network processor learning
WCAE '03 Proceedings of the 2003 workshop on Computer architecture education: Held in conjunction with the 30th International Symposium on Computer Architecture
The Security Hole in WAP: An Analysis of the Network and Business Rationales Underlying a Failure
International Journal of Electronic Commerce
Brief paper: Analysis of networked control systems with drops and variable delays
Automatica (Journal of IFAC)
Tool-based performance evaluation of the blackboard communication system
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A solution for fault tolerance in replicated database systems
International Journal of Computational Science and Engineering
Modeling and performance evaluation of ATM switches
AIC'05 Proceedings of the 5th WSEAS International Conference on Applied Informatics and Communications
Analyzing worms and network traffic using compression
Journal of Computer Security
Performance of a speculative transmission scheme for scheduling-latency reduction
IEEE/ACM Transactions on Networking (TON)
MobiMedia '06 Proceedings of the 2nd international conference on Mobile multimedia communications
Stochastic model for cell movement in a knockout switch in computer networks
Journal of High Speed Networks
Optimizing security in e-commerce through implementation of hybrid tecnologies
CSECS'06 Proceedings of the 5th WSEAS International Conference on Circuits, Systems, Electronics, Control & Signal Processing
Convergence-speed enhancement of two classes of (Ωα)-fair rate allocation algorithms
TELE-INFO'05 Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics
I/O resource management through system call scheduling
ACM SIGOPS Operating Systems Review - Research and developments in the Linux kernel
Embedded DSP Processor Design: Application Specific Instruction Set Processors
Embedded DSP Processor Design: Application Specific Instruction Set Processors
Broadband satellite access for interactive multimedia services
Space Communications
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL
Journal of Automated Reasoning
Bandwidth management using weighted fair queuing
ICAIT '08 Proceedings of the 2008 International Conference on Advanced Infocomm Technology
Swarm Intelligence Inspired Multicast Routing: An Ant Colony Optimization Approach
EvoWorkshops '09 Proceedings of the EvoWorkshops 2009 on Applications of Evolutionary Computing: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG
Continually answering constraint k-NN queries in unstructured P2P systems
Journal of Computer Science and Technology
Implementation and empirical evaluations of floor control protocols on PlanetLab network
Proceedings of the 47th Annual Southeast Regional Conference
Harmony: holistic messaging middleware for event-driven systems
IBM Systems Journal
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
A finite-state-model scheme for efficient cooperation enforcement in mobile ad hoc networks
International Journal of Wireless and Mobile Computing
Fuzzy service classifier for QoS improvement
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Cooperative wireless medium access exploiting multi-beam adaptive arrays and relay selection
IEEE Transactions on Signal Processing
QoS guarantee for multimedia traffic in smart homes
Multimedia Tools and Applications
Self-stabilizing pulse synchronization inspired by biological pacemaker networks
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Internet traffic congestion modelling and parallel distributed analysis
ISPA'03 Proceedings of the 2003 international conference on Parallel and distributed processing and applications
A solution for fault-tolerance in replicated database systems
ISPA'03 Proceedings of the 2003 international conference on Parallel and distributed processing and applications
An automata-based approach to property testing in event traces
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Translating Haskell# programs into Petri nets
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
GlobeCon: a scalable framework for context aware computing
EuroSSC'07 Proceedings of the 2nd European conference on Smart sensing and context
Testing in the distributed test architecture
Formal methods and testing
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Design and field experimentation of an energy-efficient architecture for DTN throwboxes
IEEE/ACM Transactions on Networking (TON)
LAMA/CA: A Load-Adaptive MAC Protocol for Short Packets
Mobile Networks and Applications
The failure detector abstraction
ACM Computing Surveys (CSUR)
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Tailoring a self-distributing architecture to a cluster computer environment
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Selective call out and real time bidding
WINE'10 Proceedings of the 6th international conference on Internet and network economics
Comparison of soft-computing techniques for classification of intrusion-detection
MMES'10 Proceedings of the 2010 international conference on Mathematical models for engineering science
Dynamic controller for Network Control Systems with random communication delay
International Journal of Systems, Control and Communications
Providing delay constraint services with the palindrome scheduler schemes
AEE'06 Proceedings of the 5th WSEAS international conference on Applications of electrical engineering
Two-dimensional queueing model for a LAN gateway
ICCOM'06 Proceedings of the 10th WSEAS international conference on Communications
ICCC'11 Proceedings of the 2011 international conference on Computers and computing
Always best (dis-)connected: challenges to interconnect highly heterogeneous networks
WWIC'11 Proceedings of the 9th IFIP TC 6 international conference on Wired/wireless internet communications
A domain-specific architectural foundation for engineering of numerical software systems
WSEAS TRANSACTIONS on SYSTEMS
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Using distinguishing and UIO sequences together in a checking sequence
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Quantum anonymous transmissions
ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security
Model checking the time to reach agreement
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Generalizing redundancy elimination in checking sequences
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Improved approximation algorithms for the capacitated multicast routing problem
COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
A duplicate address detection and autoconfiguration mechanism for a single-interface OLSR network
AINTEC'05 Proceedings of the First Asian Internet Engineering conference on Technologies for Advanced Heterogeneous Networks
A new qos multicast routing model and its immune optimization algorithm
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
Application of cooperating and embedded technology for network computer media player
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
A verified distance vector routing protocol for protection of internet infrastructure
ICN'05 Proceedings of the 4th international conference on Networking - Volume Part II
A logical network topology design for mobile agent systems
ICN'05 Proceedings of the 4th international conference on Networking - Volume Part II
Clustered NOC, a suitable design for group communications in Network on Chip
Computers and Electrical Engineering
An evolutionary computation approach for designing mobile ad hoc networks
Expert Systems with Applications: An International Journal
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Development of predictive TFRC with neural network
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
The emergence of sparse spanners and greedy well-separated pair decomposition
SWAT'10 Proceedings of the 12th Scandinavian conference on Algorithm Theory
Eliminating redundant tests in a checking sequence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Connecting embedded devices using a component platform for adaptable protocol stacks
Component-Based Software Development for Embedded Systems
Fair bandwidth allocation without per-flow state
Theoretical Computer Science
Web sites as agents' environments: general framework and applications
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Stochastic specification and verification
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Research into two source-based control algorithms for Internet traffic flows
Computer Communications
Achieve high accuracy of network time with proper parameters
Computer Communications
Design of an ultra low power MAC for a heterogeneous in-body sensor network
Proceedings of the 6th International Conference on Body Area Networks
Supporting Action-at-a-distance in Situated Cellular Agents
Fundamenta Informaticae
Proceedings of the 13th International Conference on Computer Systems and Technologies
Testing nondeterministic finite state machines with respect to the separability relation
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Writeback-aware bandwidth partitioning for multi-core systems with PCM
PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques
| Hi-index | 0.03 |