- Subscribe to this page:
- RSS
- Email Alert
NICTA
(40 results)-
White Papers
Cloud Computing Adoption Risks: State of Play
December 3, 2010, 12:00am PST
While much-hyped, cloud computing offers early adopters potentially significant benefits. However, important barriers to adoption have also been identified. This paper canvasses and discusses the...
Provided by NICTA
-
White Papers
Universal Intelligence: A Definition of Machine Intelligence
December 20, 2007, 12:00am PST
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when the authors need to consider artificial systems which are...
Provided by NICTA
-
White Papers
Circuit Complexity and Decompositions of Global Constraints
May 22, 2009, 12:00am PDT
The authors show that tools from circuit complexity can be used to study decompositions of global constraints. In particular, the authors study decompositions of global constraints into...
Provided by NICTA
-
White Papers
Elicitation Strategies for Fuzzy Constraint Problems With Missing Preferences: Algorithms and Experimental Studies
September 24, 2009, 12:00am PDT
Fuzzy constraints are a popular approach to handle preferences and over-constrained problems in scenarios where one needs to be cautious, such as in medical or space applications. The authors...
Provided by NICTA
-
White Papers
Extending the Capabilities of Component Models for Embedded Systems
May 29, 2007, 12:00am PDT
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the limited...
Provided by NICTA
-
White Papers
seL4 Enforces Integrity
February 22, 2011, 12:00am PST
The authors prove the enforcement of two high-level access control properties in the seL4 microkernel: integrity and authority confinement. Integrity provides an upper bound on write operations....
Provided by NICTA
-
White Papers
Secure Microkernels, State Monads and Scalable Refinement
May 15, 2008, 12:00am PDT
The authors present a scalable, practical Hoare Logic and refinement calculus for the nondeterministic state monad with exceptions and failure in Isabelle/HOL. The emphasis of this formalisation...
Provided by NICTA
-
White Papers
Circumstantial-Evidence-Based Judgment for Software Effort Estimation
April 30, 2011, 12:00am PDT
Expert judgment for software effort estimation is oriented toward direct evidences that refer to actual effort of similar projects or activities through experts' experiences. However, the...
Provided by NICTA
-
White Papers
Towards Proving Security in the Presence of Large Untrusted Components
August 24, 2010, 12:00am PDT
This paper proposes a generalized framework to build large, complex systems where security guarantees can be given for the overall systems implementation. The paper builds on the formally proven...
Provided by NICTA
-
White Papers
On the Feasibility of Utilizing Correlations Between User Populations for Traffic Inference
January 1, 2011, 12:00am PST
Network models today are often derived from two different methods. On one hand, detailed traffic models are generated based on traces from a single tap into the network. Alternatively, one can...
Provided by NICTA
-
Whitepapers
Memory and Complexity Analysis of On-theFly Coding Schemes for Multimedia Multicast Communications
May 24, 2012, 12:00am PDT
A new class of erasure codes for delay-constraint applications, called on-the-fly coding, have recently been introduced for their improvements in terms of recovery delay and achievable capacity....
Provided by NICTA
-
Whitepapers
A Factor Framework for Experimental Design for Performance Evaluation of Commercial Cloud Services
February 9, 2013, 12:00am PST
Given the diversity of commercial Cloud services, performance evaluations of candidate services would be crucial and beneficial for both service customers (e.g. cost-benefit analysis) and...
Provided by NICTA
-
Whitepapers
Building an Expert System for Evaluation of Commercial Cloud Services
February 9, 2013, 12:00am PST
Commercial Cloud services have been increasingly supplied to customers in industry. To facilitate customers' decision makings like cost-benefit analysis or Cloud provider selection, evaluation of...
Provided by NICTA
-
Whitepapers
Towards a Taxonomy of Performance Evaluation of Commercial Cloud Services
May 7, 2012, 12:00am PDT
Cloud Computing, as one of the most promising computing paradigms, has become increasingly accepted in industry. Numerous commercial providers have started to supply public Cloud services, and...
Provided by NICTA
-
Whitepapers
On a Catalogue of Metrics for Evaluating Commercial Cloud Services
June 19, 2012, 12:00am PDT
Given the continually increasing amount of commercial Cloud services in the market, evaluation of different services plays a significant role in cost-benefit analysis or decision making for...
Provided by NICTA
-
White Papers
Data Consistency Properties and the Trade Offs in Commercial Cloud Storages: the Consumers' Perspective
January 1, 2011, 12:00am PST
A new class of data storage systems, called NoSQL (Not only SQL), has emerged to complement traditional database systems, with rejection of general ACID transactions as one common feature....
Provided by NICTA
-
White Papers
Performance and Cost Assessment of Cloud Services
November 18, 2010, 12:00am PST
Architecting applications for the Cloud is challenging due to significant differences between traditional hosting and Cloud infrastructure setup, unknown and unproven Cloud performance and...
Provided by NICTA
-
White Papers
Modeling Cloud Cost and Performance
March 10, 2010, 12:00am PST
Architecting applications for the Cloud is challenging due to significant differences between traditional hosting and Cloud infrastructure setup, unknown and unproven Cloud performance and...
Provided by NICTA
-
White Papers
Performance Modelling Power Consumption and Carbon Emissions for Server Virtualization of Service Oriented Architectures (SOAs)
July 27, 2009, 12:00am PDT
Server Virtualization is driven by the goal of reducing the total number of physical servers in an organisation by consolidating multiple applications on shared servers. Expected benefits include...
Provided by NICTA
-
White Papers
A Wireless Sensor Network Test-Bed for Structural Health Monitoring of Bridges
August 5, 2011, 12:00am PDT
The authors investigate the potential of wireless sensor networks to monitor the structural health of bridges. Needing to explore different sensing, networking, and distributed computing...
Provided by NICTA
-
White Papers
Energy-Efficient Retransmission Strategies Under Variable TDMA Scheduling in Body Area Networks
July 20, 2011, 12:00am PDT
The authors consider a Body Area Network (BAN) setting in which sensor nodes send data to a common hub regularly on a TDMA basis, as defined by the emerging IEEE 802.15.6 BAN standard. Their...
Provided by NICTA
-
White Papers
Insecurity in Public-Safety Communications: APCO Project 25
August 10, 2011, 12:00am PDT
APCO Project 25 (P25) radio networks are perhaps the most widely-deployed digital radio technology currently in use by emergency first-responders across the world. This paper presents the results...
Provided by NICTA
-
White Papers
A Packet Error Recovery Scheme for Vertical Handovers Mobility Management Protocols
October 22, 2010, 12:00am PDT
Mobile devices are connecting to the Internet through an increasingly heterogeneous network environment. This connectivity via multiple types of wireless networks allows the mobile devices to take...
Provided by NICTA
-
White Papers
An Overview of the DSRC/WAVE Technology
October 28, 2010, 12:00am PDT
Wireless vehicular networks operating on the Dedicated Short-Range Communications (DSRC) frequency bands are the key enabling technologies for the emerging market of Intelligent Transport System...
Provided by NICTA
-
White Papers
Safetynet Version 2, a Packet Error Recovery Architecture for Vertical Handoffs
June 24, 2010, 12:00am PDT
Mobile devices are connecting to the Internet through an increasingly heterogeneous network environment. This connectivity via multiple types of wireless networks allows the mobile devices to take...
Provided by NICTA
-
White Papers
The Insecurity of Time-of-Arrival Distance-Ranging in IEEE 802.11 Wireless Networks
March 17, 2010, 12:00am PDT
Two-way Time-Of-Arrival (TOA) distance-ranging is well-suited for use in IEEE 802.11 MANETs and wireless mesh networks because it is simple, efficient and does not require precise time...
Provided by NICTA
-
White Papers
Experiences and Lessons From Implementing a Wireless Sensor Network MAC Protocol in the Castalia Simulator
December 18, 2009, 12:00am PST
The authors describe their experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of the...
Provided by NICTA
-
White Papers
Dynamic Narrowband Body Area Communications: Link-Margin Based Performance Analysis and Second-Order Temporal Statistics
September 18, 2009, 12:00am PDT
A dynamic narrowband on-body area communications scenario is characterized with respect to link margin as a difference between systems operating point, in terms of receive power, and receiver...
Provided by NICTA
-
White Papers
Detection and Identification of Anomalies in Wireless Mesh Networks Using Principal Component Analysis (PCA)
August 6, 2008, 12:00am PDT
Anomaly detection is becoming a powerful and necessary component as wireless networks gain popularity. In this paper, the authors evaluate the efficacy of PCA based anomaly detection for Wireless...
Provided by NICTA
-
White Papers
A Hybrid Integer Carrier Frequency Offset Estimator for Practical OFDM Systems
July 13, 2009, 12:00am PDT
In Orthogonal Frequency-Division Multiplexing (OFDM) systems, the integer part of Carrier Frequency Offset (CFO) as a multiple of subcarrier spacing needs to be estimated from the frequency-domain...
Provided by NICTA
-
White Papers
Wireless Sensor Network Tesbed for Structural Health Monitoring of Bridges
July 15, 2009, 12:00am PDT
The Road and Traffic Authority (RTA) of NSW, Australia, partnered with NICTA, are looking into wireless sensor network technologies to monitor the structural health of bridges. The task involves...
Provided by NICTA
-
White Papers
MOBIX: System for Managing MOBility Using Information EXchange
June 2, 2009, 12:00am PDT
It is evident that mobile devices of the future will have multiple wireless interfaces. For small, energy-constrained devices, determining network availability by keeping all radio interfaces...
Provided by NICTA
-
White Papers
EMUNE: Architecture for Effective Mobile Usage of Heterogeneous Networks
March 6, 2009, 12:00am PST
With the mobile communication market increasingly moving towards value-added services the network cost will need to be included in the service offering itself. This will lead service providers to...
Provided by NICTA
-
White Papers
A Mobility Toolbox Architecture for All-IP Networks: An Ambient Networks Approach
December 17, 2007, 12:00am PST
The future Internet will need to cater for an increasing number of mobile devices and mobile networks, roaming across different access networks and trust domains. In addition, various limitations...
Provided by NICTA
-
White Papers
A Light-Weight Internet Gateway Discovery Scheme for Infrastructure Mesh Networks
February 19, 2008, 12:00am PST
Infrastructure mesh networks offer a high-capacity wireless backhaul network through which client devices, such as PDAs, can connect to one another or with the Internet. In dynamically deployed...
Provided by NICTA
-
White Papers
A Light-Weight Client Mobility Approach for Infrastructure Mesh Networks
May 31, 2007, 12:00am PDT
Infrastructure mesh networks offer a high-capacity wireless backhaul network through which client devices, such as PDAs, can connect to one another or with external networks. To use the mesh...
Provided by NICTA
-
White Papers
High Performance Peer-to-Peer Distributed Computing With Application to Obstacle Problem
January 25, 2010, 12:00am PST
This paper deals with high performance Peer-to-Peer computing applications. The authors concentrate on the solution of large scale numerical simulation problems via distributed iterative methods....
Provided by NICTA
-
White Papers
OMF: A Control and Management Framework for Networking Testbeds
November 16, 2009, 12:00am PST
Networking testbeds are playing an increasingly important role in the development of new communication technologies. Testbeds are traditionally built for a particular project or to study a...
Provided by NICTA
-
White Papers
Models for an Energy-Efficient P2P Delivery Service
October 30, 2009, 12:00am PDT
Data and service delivery have been historically based on "Network centric" architectures, with datacentres being the focal sources. The amount of energy consumed by these datacentres has become...
Provided by NICTA
-
Whitepapers
Bridging the Gap: Automatic Verified Abstraction of C
May 11, 2012, 12:00am PDT
Before low-level imperative code can be reasoned about in an interactive theorem prover, it must first be converted into a logical representation in that theorem prover. Accurate translations of...
Provided by NICTA
-
Whitepapers
On a Catalogue of Metrics for Evaluating Commercial Cloud Services
June 19, 2012, 12:00am PDT
Given the continually increasing amount of commercial Cloud services in the market, evaluation of different services plays a significant role in cost-benefit analysis or decision making for...
Provided by NICTA
-
Whitepapers
Towards a Taxonomy of Performance Evaluation of Commercial Cloud Services
May 7, 2012, 12:00am PDT
Cloud Computing, as one of the most promising computing paradigms, has become increasingly accepted in industry. Numerous commercial providers have started to supply public Cloud services, and...
Provided by NICTA
-
Whitepapers
Building an Expert System for Evaluation of Commercial Cloud Services
February 9, 2013, 12:00am PST
Commercial Cloud services have been increasingly supplied to customers in industry. To facilitate customers' decision makings like cost-benefit analysis or Cloud provider selection, evaluation of...
Provided by NICTA
-
Whitepapers
A Factor Framework for Experimental Design for Performance Evaluation of Commercial Cloud Services
February 9, 2013, 12:00am PST
Given the diversity of commercial Cloud services, performance evaluations of candidate services would be crucial and beneficial for both service customers (e.g. cost-benefit analysis) and...
Provided by NICTA
-
Whitepapers
Memory and Complexity Analysis of On-theFly Coding Schemes for Multimedia Multicast Communications
May 24, 2012, 12:00am PDT
A new class of erasure codes for delay-constraint applications, called on-the-fly coding, have recently been introduced for their improvements in terms of recovery delay and achievable capacity....
Provided by NICTA
-
Whitepapers
Bridging the Gap: Automatic Verified Abstraction of C
May 11, 2012, 12:00am PDT
Before low-level imperative code can be reasoned about in an interactive theorem prover, it must first be converted into a logical representation in that theorem prover. Accurate translations of...
Provided by NICTA
-
White Papers
Models for an Energy-Efficient P2P Delivery Service
October 30, 2009, 12:00am PDT
Data and service delivery have been historically based on "Network centric" architectures, with datacentres being the focal sources. The amount of energy consumed by these datacentres has become...
Provided by NICTA
-
White Papers
OMF: A Control and Management Framework for Networking Testbeds
November 16, 2009, 12:00am PST
Networking testbeds are playing an increasingly important role in the development of new communication technologies. Testbeds are traditionally built for a particular project or to study a...
Provided by NICTA
-
White Papers
High Performance Peer-to-Peer Distributed Computing With Application to Obstacle Problem
January 25, 2010, 12:00am PST
This paper deals with high performance Peer-to-Peer computing applications. The authors concentrate on the solution of large scale numerical simulation problems via distributed iterative methods....
Provided by NICTA
-
White Papers
A Light-Weight Client Mobility Approach for Infrastructure Mesh Networks
May 31, 2007, 12:00am PDT
Infrastructure mesh networks offer a high-capacity wireless backhaul network through which client devices, such as PDAs, can connect to one another or with external networks. To use the mesh...
Provided by NICTA
-
White Papers
A Light-Weight Internet Gateway Discovery Scheme for Infrastructure Mesh Networks
February 19, 2008, 12:00am PST
Infrastructure mesh networks offer a high-capacity wireless backhaul network through which client devices, such as PDAs, can connect to one another or with the Internet. In dynamically deployed...
Provided by NICTA
-
White Papers
A Mobility Toolbox Architecture for All-IP Networks: An Ambient Networks Approach
December 17, 2007, 12:00am PST
The future Internet will need to cater for an increasing number of mobile devices and mobile networks, roaming across different access networks and trust domains. In addition, various limitations...
Provided by NICTA
-
White Papers
EMUNE: Architecture for Effective Mobile Usage of Heterogeneous Networks
March 6, 2009, 12:00am PST
With the mobile communication market increasingly moving towards value-added services the network cost will need to be included in the service offering itself. This will lead service providers to...
Provided by NICTA
-
White Papers
MOBIX: System for Managing MOBility Using Information EXchange
June 2, 2009, 12:00am PDT
It is evident that mobile devices of the future will have multiple wireless interfaces. For small, energy-constrained devices, determining network availability by keeping all radio interfaces...
Provided by NICTA
-
White Papers
Wireless Sensor Network Tesbed for Structural Health Monitoring of Bridges
July 15, 2009, 12:00am PDT
The Road and Traffic Authority (RTA) of NSW, Australia, partnered with NICTA, are looking into wireless sensor network technologies to monitor the structural health of bridges. The task involves...
Provided by NICTA
-
White Papers
A Hybrid Integer Carrier Frequency Offset Estimator for Practical OFDM Systems
July 13, 2009, 12:00am PDT
In Orthogonal Frequency-Division Multiplexing (OFDM) systems, the integer part of Carrier Frequency Offset (CFO) as a multiple of subcarrier spacing needs to be estimated from the frequency-domain...
Provided by NICTA
-
White Papers
Detection and Identification of Anomalies in Wireless Mesh Networks Using Principal Component Analysis (PCA)
August 6, 2008, 12:00am PDT
Anomaly detection is becoming a powerful and necessary component as wireless networks gain popularity. In this paper, the authors evaluate the efficacy of PCA based anomaly detection for Wireless...
Provided by NICTA
-
White Papers
Dynamic Narrowband Body Area Communications: Link-Margin Based Performance Analysis and Second-Order Temporal Statistics
September 18, 2009, 12:00am PDT
A dynamic narrowband on-body area communications scenario is characterized with respect to link margin as a difference between systems operating point, in terms of receive power, and receiver...
Provided by NICTA
-
White Papers
Experiences and Lessons From Implementing a Wireless Sensor Network MAC Protocol in the Castalia Simulator
December 18, 2009, 12:00am PST
The authors describe their experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of the...
Provided by NICTA
-
White Papers
The Insecurity of Time-of-Arrival Distance-Ranging in IEEE 802.11 Wireless Networks
March 17, 2010, 12:00am PDT
Two-way Time-Of-Arrival (TOA) distance-ranging is well-suited for use in IEEE 802.11 MANETs and wireless mesh networks because it is simple, efficient and does not require precise time...
Provided by NICTA
-
White Papers
Safetynet Version 2, a Packet Error Recovery Architecture for Vertical Handoffs
June 24, 2010, 12:00am PDT
Mobile devices are connecting to the Internet through an increasingly heterogeneous network environment. This connectivity via multiple types of wireless networks allows the mobile devices to take...
Provided by NICTA
-
White Papers
An Overview of the DSRC/WAVE Technology
October 28, 2010, 12:00am PDT
Wireless vehicular networks operating on the Dedicated Short-Range Communications (DSRC) frequency bands are the key enabling technologies for the emerging market of Intelligent Transport System...
Provided by NICTA
-
White Papers
A Packet Error Recovery Scheme for Vertical Handovers Mobility Management Protocols
October 22, 2010, 12:00am PDT
Mobile devices are connecting to the Internet through an increasingly heterogeneous network environment. This connectivity via multiple types of wireless networks allows the mobile devices to take...
Provided by NICTA
-
White Papers
Insecurity in Public-Safety Communications: APCO Project 25
August 10, 2011, 12:00am PDT
APCO Project 25 (P25) radio networks are perhaps the most widely-deployed digital radio technology currently in use by emergency first-responders across the world. This paper presents the results...
Provided by NICTA
-
White Papers
Energy-Efficient Retransmission Strategies Under Variable TDMA Scheduling in Body Area Networks
July 20, 2011, 12:00am PDT
The authors consider a Body Area Network (BAN) setting in which sensor nodes send data to a common hub regularly on a TDMA basis, as defined by the emerging IEEE 802.15.6 BAN standard. Their...
Provided by NICTA
-
White Papers
A Wireless Sensor Network Test-Bed for Structural Health Monitoring of Bridges
August 5, 2011, 12:00am PDT
The authors investigate the potential of wireless sensor networks to monitor the structural health of bridges. Needing to explore different sensing, networking, and distributed computing...
Provided by NICTA
-
White Papers
Performance Modelling Power Consumption and Carbon Emissions for Server Virtualization of Service Oriented Architectures (SOAs)
July 27, 2009, 12:00am PDT
Server Virtualization is driven by the goal of reducing the total number of physical servers in an organisation by consolidating multiple applications on shared servers. Expected benefits include...
Provided by NICTA
-
White Papers
Modeling Cloud Cost and Performance
March 10, 2010, 12:00am PST
Architecting applications for the Cloud is challenging due to significant differences between traditional hosting and Cloud infrastructure setup, unknown and unproven Cloud performance and...
Provided by NICTA
-
White Papers
Cloud Computing Adoption Risks: State of Play
December 3, 2010, 12:00am PST
While much-hyped, cloud computing offers early adopters potentially significant benefits. However, important barriers to adoption have also been identified. This paper canvasses and discusses the...
Provided by NICTA
-
White Papers
Performance and Cost Assessment of Cloud Services
November 18, 2010, 12:00am PST
Architecting applications for the Cloud is challenging due to significant differences between traditional hosting and Cloud infrastructure setup, unknown and unproven Cloud performance and...
Provided by NICTA
-
White Papers
Data Consistency Properties and the Trade Offs in Commercial Cloud Storages: the Consumers' Perspective
January 1, 2011, 12:00am PST
A new class of data storage systems, called NoSQL (Not only SQL), has emerged to complement traditional database systems, with rejection of general ACID transactions as one common feature....
Provided by NICTA
-
White Papers
On the Feasibility of Utilizing Correlations Between User Populations for Traffic Inference
January 1, 2011, 12:00am PST
Network models today are often derived from two different methods. On one hand, detailed traffic models are generated based on traces from a single tap into the network. Alternatively, one can...
Provided by NICTA
-
White Papers
Towards Proving Security in the Presence of Large Untrusted Components
August 24, 2010, 12:00am PDT
This paper proposes a generalized framework to build large, complex systems where security guarantees can be given for the overall systems implementation. The paper builds on the formally proven...
Provided by NICTA
-
White Papers
Circumstantial-Evidence-Based Judgment for Software Effort Estimation
April 30, 2011, 12:00am PDT
Expert judgment for software effort estimation is oriented toward direct evidences that refer to actual effort of similar projects or activities through experts' experiences. However, the...
Provided by NICTA
-
White Papers
Secure Microkernels, State Monads and Scalable Refinement
May 15, 2008, 12:00am PDT
The authors present a scalable, practical Hoare Logic and refinement calculus for the nondeterministic state monad with exceptions and failure in Isabelle/HOL. The emphasis of this formalisation...
Provided by NICTA
-
White Papers
seL4 Enforces Integrity
February 22, 2011, 12:00am PST
The authors prove the enforcement of two high-level access control properties in the seL4 microkernel: integrity and authority confinement. Integrity provides an upper bound on write operations....
Provided by NICTA
-
White Papers
Extending the Capabilities of Component Models for Embedded Systems
May 29, 2007, 12:00am PDT
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the limited...
Provided by NICTA
-
White Papers
Elicitation Strategies for Fuzzy Constraint Problems With Missing Preferences: Algorithms and Experimental Studies
September 24, 2009, 12:00am PDT
Fuzzy constraints are a popular approach to handle preferences and over-constrained problems in scenarios where one needs to be cautious, such as in medical or space applications. The authors...
Provided by NICTA
-
White Papers
Circuit Complexity and Decompositions of Global Constraints
May 22, 2009, 12:00am PDT
The authors show that tools from circuit complexity can be used to study decompositions of global constraints. In particular, the authors study decompositions of global constraints into...
Provided by NICTA
-
White Papers
Universal Intelligence: A Definition of Machine Intelligence
December 20, 2007, 12:00am PST
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when the authors need to consider artificial systems which are...
Provided by NICTA
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
