Sciweavers

1062 search results - page 128 / 213
» Models and Languages for Overlay Networks
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
14 years 7 days ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
JDCTA
2008
83views more  JDCTA 2008»
13 years 10 months ago
Translation from GDMO/ASN.1 to tML/Schema
For interoperation of heterogeneous management systems and integration of existing legacy applications in telecommunication network management systems, a translation from GDMO/ASN...
Wenli Dong
AINA
2003
IEEE
14 years 1 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
CAEPIA
2003
Springer
14 years 3 months ago
A Document-Oriented Approach to the Development of Knowledge Based Systems
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
José Luis Sierra, Baltasar Fernández...
NIPS
2007
13 years 11 months ago
Unconstrained On-line Handwriting Recognition with Recurrent Neural Networks
In online handwriting recognition the trajectory of the pen is recorded during writing. Although the trajectory provides a compact and complete representation of the written outpu...
Alex Graves, Santiago Fernández, Marcus Liw...