Sciweavers

Share
COLING
2010
8 years 9 months ago
A Formal Scheme for Multimodal Grammars
We present in this paper a formal approach for the representation of multimodal information. This approach, thanks to the to use of typed feature structures and hypergraphs, gener...
Philippe Blache, Laurent Prévot
BMCBI
2010
178views more  BMCBI 2010»
9 years 2 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
APPINF
2003
9 years 3 months ago
A Generated Management for Distributed Systems
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
Thomas Peschel-Findeisen, Bertram Hütter
CSFW
2000
IEEE
9 years 6 months ago
Towards Automatic Verification of Authentication Protocols on an Unbounded Network
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
James Heather, Steve Schneider
EMSOFT
2006
Springer
9 years 6 months ago
Implementing fault-tolerance in real-time systems by automatic program transformations
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
Tolga Ayav, Pascal Fradet, Alain Girault
AUSAI
2006
Springer
9 years 6 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
IWPC
1996
IEEE
9 years 6 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...
COMPSAC
2002
IEEE
9 years 7 months ago
Reliability Assessment of WEB Applications
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
Vangalur S. Alagar, Olga Ormandjieva
GCC
2003
Springer
9 years 7 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
EWSA
2005
Springer
9 years 8 months ago
Context-Awareness in Software Architectures
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
Antónia Lopes, José Luiz Fiadeiro
books