Sciweavers

401 search results - page 10 / 81
» Advanced Component Interface Specification
Sort
View
CORR
2004
Springer
112views Education» more  CORR 2004»
14 years 9 months ago
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
Stephen Chong, Riccardo Pucella
ENTCS
2010
99views more  ENTCS 2010»
14 years 9 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
CRITIS
2009
14 years 10 months ago
Energy Theft in the Advanced Metering Infrastructure
Abstract. Global energy generation and delivery systems are transitioning to a new computerized "smart grid". One of the principle components of the smart grid is an adva...
Stephen E. McLaughlin, Dmitry Podkuiko, Patrick Mc...
IMCSIT
2010
14 years 6 months ago
Software and hardware in the loop component for an IEC 61850 Co-Simulation platform
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
Haffar Mohamad, Thiriet Jean Marc
71
Voted
FUIN
2006
111views more  FUIN 2006»
14 years 9 months ago
Typing the Behavior of Software Components using Session Types
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
Antonio Vallecillo, Vasco Thudichum Vasconcelos, A...