Results 121 to 130 of about 14,850 (163)
Some of the next articles are maybe not open access.
2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
In this demonstration session, we present a toolkit we have designed around a model-driven language fLEJ. This relies on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical ...
Daniel Gaffé, Annie Ressouche
openaire +2 more sources
In this demonstration session, we present a toolkit we have designed around a model-driven language fLEJ. This relies on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical ...
Daniel Gaffé, Annie Ressouche
openaire +2 more sources
Computer Networks and ISDN Systems, 1993
Abstract The use of formal description techniques to describe the behaviour of concurrent systems is still increasing. With the growing complexity of the problems tackled using formal methods, the need for support by computer tools is becoming more and more apparent.
openaire +1 more source
Abstract The use of formal description techniques to describe the behaviour of concurrent systems is still increasing. With the growing complexity of the problems tackled using formal methods, the need for support by computer tools is becoming more and more apparent.
openaire +1 more source
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, 2011
We propose the creation of a repository of inclusive mobile application design tools and techniques. The repository will be based on existing and future research in the realm of accessibility and initially only available to academic researchers developing user studies.
Halimat I. Alabi, Bruce Gooch
openaire +1 more source
We propose the creation of a repository of inclusive mobile application design tools and techniques. The repository will be based on existing and future research in the realm of accessibility and initially only available to academic researchers developing user studies.
Halimat I. Alabi, Bruce Gooch
openaire +1 more source
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, 2007
We have developed a software toolkit, called CoBFIT, that implements a comprehensive suite of protocols for efficient and dynamic replication of a stateful service in an asynchronous environment such as the Internet. The CoBFIT toolkit can be used to make a generic service fault-tolerant using the state machine replication approach [7], provided the ...
HariGovind V. Ramasamy +2 more
openaire +1 more source
We have developed a software toolkit, called CoBFIT, that implements a comprehensive suite of protocols for efficient and dynamic replication of a stateful service in an asynchronous environment such as the Internet. The CoBFIT toolkit can be used to make a generic service fault-tolerant using the state machine replication approach [7], provided the ...
HariGovind V. Ramasamy +2 more
openaire +1 more source
Journal of Phonetics, 2006
Language is an example of collective behavior, and it is a type of collective behavior for which people are highly adapted. Comparable systems in other creatures in no way approach the level of organization found in human languages. Language provides a canonical example of a complex system: robust, adaptable, and selfassembling.
openaire +1 more source
Language is an example of collective behavior, and it is a type of collective behavior for which people are highly adapted. Comparable systems in other creatures in no way approach the level of organization found in human languages. Language provides a canonical example of a complex system: robust, adaptable, and selfassembling.
openaire +1 more source