Sciweavers

420 search results - page 5 / 84
» Towards Design Tools for Protocol Development
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
13 years 10 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
EDBTW
2010
Springer
14 years 4 months ago
Toward a software development methodology for anonymity applications
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shari...
AINA
2006
IEEE
14 years 1 months ago
Towards an Unified Experimentation Framework for Protocol Engineering
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
Laurent Dairaine, Ernesto Exposito, Herve Thalmens...
COLING
1992
13 years 11 months ago
Towards Developing Reusable NLP Dictionaries
Development of reusahle dictionaries for NI,P applications requires a carefully designed lexicological framework, a lexical acquisition strategy, an integrated development toolbox...
Pim van der Eijk, Laura Bloksma, Mark van der Kraa...
CHI
2010
ACM
14 years 4 months ago
Toward an ecological sensibility: tools for evaluating sustainable HCI
We are developing evaluation tools that help sustainable HCI researchers to contribute to the overall project of achieving sustainability. In this paper we argue for broadening su...
M. Six Silberman, Bill Tomlinson