The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for EFTS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1990 (15) 1996-2007 (18) 2008 (18)
Publication types (Num. hits)
article(10) inproceedings(39) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 50 occurrences of 42 keywords

Results
Found 51 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Pamela K. Coats A status report: the EFTS environment. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
76Joseph Mazzetti Design considerations for electronic funds transfer switch system development. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
65Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky (eds.) Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Thi Quynh Bui, Oum-El-Kheir Aktouf Diagnosis service for embedded software component based systems. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fault tolerance, embedded systems, dependability, diagnosis
65Nuno Laranjeiro, Marco Vieira Towards fault tolerance in web services compositions. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF web services, fault tolerance, composition, diversity
65Máté Kovács, Dániel Varró, László Gönczy Formal modeling of BPEL workflows including fault and compensation handling. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, business process, fault modeling, compensation
65Francis Tam On engineering standards based carrier grade platforms. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF robustness, upgrade
65Stefan Potyra, Volkmar Sieh, Mario Dal Cin Evaluating fault-tolerant system designs using FAUmachine. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Alexei Iliasov Refinement patterns for rapid development of dependable systems. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Yuriy Brun, Nenad Medvidovic Fault and adversary tolerance as an emergent property of distributed systems' software architectures. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65András Balogh, András Pataricza, Judit Rácz Scheduling of embedded time-triggered systems. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF TTP/C, time-triggered systems, scheduling, FlexRay
65Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi Experimenting with diversity in the model driven development of a railway signaling system. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal modelling, automatic code generation
65Nataliya Yakymets, Vyacheslav S. Kharchenko Fault-tolerant digital systems implemented with partially definite and partially correct automata. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF digital automata, genetic algorithms, fault-tolerance
63Rob Kling EFTS social and technical issues: what are EFTS? Search on Bibsonomy SIGCAS Comput. Soc. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
57Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches
31Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky (eds.) SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008 Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  BibTeX  RDF
31Paolo Masci 0001, Henrique Moniz, Alessandra Tedeschi Services for fault-tolerant conflict resolution in air traffic management. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Alexander B. Romanovsky DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Gabriel L. Zenarosa, Soumya Simanta Experiences in engineering active replication into a traditional three-tiered client-server system. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli An integrated framework for the dependability evaluation of distributed mobile applications. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Simone Cirani, Natalya Fedotova, Luca Veltri A resilient architecture for DHT-based distributed collaborative environments. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Neil B. Harrison, Paris Avgeriou Incorporating fault tolerance tactics in software architecture patterns. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky The threat of uncertainty in service-oriented architecture. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Thorsten van Ellen, Wilhelm Hasselbring Extended exceptions for contingencies. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31James Hawthorne, Richard Anthony A reconfigurable component model using reflection. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Richard John Payne RPL: a policy language for dynamic reconfiguration. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky Formal development of cooperative exception handling for mobile agent systems. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Anirban Bhattacharyya, John S. Fitzgerald Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev Addressing degraded service outcomes and exceptional modes of operation in behavioural models. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Ilya Lopatkin Resilience through dynamic reconfiguration in agent systems. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Massimo Felici, Valentino Meduri, Alessandra Tedeschi, Carlo Riccucci Supporting resilience in air traffic management. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Ian J. Hayes Towards reasoning about teleo-reactive programs for robust real-time systems. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Fernando J. Barros An evolving hierarchical & modular approach to resilient software. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Roger Clarke Consumer EFTS in Australia - Part II - Security issues. Search on Bibsonomy Comput. Law Secur. Rev. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Roger Clarke, Michael Walters An introduction to consumer efts with particular reference to Australia. Search on Bibsonomy Comput. Law Secur. Rev. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
31Philippe van Heurck TRASEC: National Security System for EFTs in Belgium. Search on Bibsonomy Comput. Networks The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Carl Steve Guynes EFTS impact on computer security. Search on Bibsonomy Comput. Secur. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
31F. W. Lancaster The Cashless Society: Efts at the Crossroads. A. Bequai. New York: Wiley; 1981: ISBN 0-471-05654-5, 298pp. Price: $21.95. Search on Bibsonomy J. Am. Soc. Inf. Sci. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
31R. Anselstetter EFTS - Das aktuelle Schlagwort. Search on Bibsonomy Inform. Spektrum The full citation details ... 1981 DBLP  BibTeX  RDF
31Donn B. Parker Vulnerabilities of EFTs to Intentionally Caused Losses. Search on Bibsonomy Commun. ACM The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
31Jack Dugger EFTS related file recovery and integrity problems. Search on Bibsonomy SIGCOMM The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
31Joseph Mazzetti Wholesale EFTS: A communications strategy. Search on Bibsonomy SIGCOMM The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
31Stephen J. Kohn EFTS - Electronic fund transfer system overview. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1978 DBLP  BibTeX  RDF
31Russell H. Dewey Systems auditability and control in an EFTS environment. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1978 DBLP  BibTeX  RDF
28Khanh Quoc Nguyen, Yi Mu 0001, Vijay Varadharajan Secure and Efficient Digital Coins. Search on Bibsonomy ACSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF digital coins, electronic cash systems, complex online computations, payment phase, off-line anonymous cash scheme, payment transactions, unconditional client anonymity, double-spending detection, coin forgery, framing attacks, security, efficiency, EFTS
28Khanh Quoc Nguyen, Yi Mu 0001, Vijay Varadharajan Micro-Digital Money for Electronic Commerce. Search on Bibsonomy ACSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF micro-digital money, cash-based micropayment schemes, double-locked hash chain technique, digital coin divisibility, digital coin transferability, coin chain, vendor, multiple chains, micropayment transactions, electronic commerce, EFTS
28Brigitte Althen, Gerd Enste, Brigitte Nebelung Innovative Secure Payments On The Internet Using The German Electronic Purse. Search on Bibsonomy ACSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF secure payments, German electronic purse, off-line terminals, merchant's site, Internet, security mechanisms, EFTS
28Vijay Varadharajan, Yi Mu 0001 On The Design Of Secure Electronic Payment Schemes For Internet. Search on Bibsonomy ACSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF secure electronic payment schemes, commercial electronic credit card transactions, iKP, STT, SEPP, permission-based payment protocol, PBP protocol, purchase request phase, payment phase, secret private key, Internet, disputes, EFTS
28Mark G. Staskauskas The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF electronic funds-transfer system, parallel programming methodology, refinement steps, parallel programming, data structure, specification, distributed processing, distributed architecture, UNITY, target architecture, EFT, EFTS
25Jin Lu 0002, José M. F. Moura TS-LDPC Codes: Turbo-Structured Codes With Large Girth. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Xueping Ren, Jian Wan 0001, GuangHuan Hu A Novel Task Scheduling for Heterogeneous Systems. Search on Bibsonomy ICESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license