|
|
Venues (Conferences, Journals, ...)
|
|
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 |
82 | Pamela K. Coats |
A status report: the EFTS environment. |
ACM Southeast Regional Conference |
1980 |
DBLP DOI BibTeX RDF |
|
76 | Joseph Mazzetti |
Design considerations for electronic funds transfer switch system development. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
65 | Nicolas 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 |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Thi Quynh Bui, Oum-El-Kheir Aktouf |
Diagnosis service for embedded software component based systems. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, embedded systems, dependability, diagnosis |
65 | Nuno Laranjeiro, Marco Vieira |
Towards fault tolerance in web services compositions. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
web services, fault tolerance, composition, diversity |
65 | Máté Kovács, Dániel Varró, László Gönczy |
Formal modeling of BPEL workflows including fault and compensation handling. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
model checking, business process, fault modeling, compensation |
65 | Francis Tam |
On engineering standards based carrier grade platforms. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
robustness, upgrade |
65 | Stefan Potyra, Volkmar Sieh, Mario Dal Cin |
Evaluating fault-tolerant system designs using FAUmachine. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Alexei Iliasov |
Refinement patterns for rapid development of dependable systems. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Yuriy Brun, Nenad Medvidovic |
Fault and adversary tolerance as an emergent property of distributed systems' software architectures. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
|
65 | András Balogh, András Pataricza, Judit Rácz |
Scheduling of embedded time-triggered systems. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
TTP/C, time-triggered systems, scheduling, FlexRay |
65 | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi |
Experimenting with diversity in the model driven development of a railway signaling system. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
formal modelling, automatic code generation |
65 | Nataliya Yakymets, Vyacheslav S. Kharchenko |
Fault-tolerant digital systems implemented with partially definite and partially correct automata. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
digital automata, genetic algorithms, fault-tolerance |
63 | Rob Kling |
EFTS social and technical issues: what are EFTS? |
SIGCAS Comput. Soc. |
1976 |
DBLP DOI BibTeX RDF |
|
57 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky |
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. |
ESEC/SIGSOFT FSE |
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 |
31 | Nicolas 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 |
SERENE |
2008 |
DBLP BibTeX RDF |
|
31 | Paolo Masci 0001, Henrique Moniz, Alessandra Tedeschi |
Services for fault-tolerant conflict resolution in air traffic management. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Alexander B. Romanovsky |
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Gabriel L. Zenarosa, Soumya Simanta |
Experiences in engineering active replication into a traditional three-tiered client-server system. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli |
An integrated framework for the dependability evaluation of distributed mobile applications. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Simone Cirani, Natalya Fedotova, Luca Veltri |
A resilient architecture for DHT-based distributed collaborative environments. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Neil B. Harrison, Paris Avgeriou |
Incorporating fault tolerance tactics in software architecture patterns. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky |
The threat of uncertainty in service-oriented architecture. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Thorsten van Ellen, Wilhelm Hasselbring |
Extended exceptions for contingencies. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | James Hawthorne, Richard Anthony |
A reconfigurable component model using reflection. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Richard John Payne |
RPL: a policy language for dynamic reconfiguration. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky |
Formal development of cooperative exception handling for mobile agent systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Anirban Bhattacharyya, John S. Fitzgerald |
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev |
Addressing degraded service outcomes and exceptional modes of operation in behavioural models. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Ilya Lopatkin |
Resilience through dynamic reconfiguration in agent systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Felici, Valentino Meduri, Alessandra Tedeschi, Carlo Riccucci |
Supporting resilience in air traffic management. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Ian J. Hayes |
Towards reasoning about teleo-reactive programs for robust real-time systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Fernando J. Barros |
An evolving hierarchical & modular approach to resilient software. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Roger Clarke |
Consumer EFTS in Australia - Part II - Security issues. |
Comput. Law Secur. Rev. |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Roger Clarke, Michael Walters |
An introduction to consumer efts with particular reference to Australia. |
Comput. Law Secur. Rev. |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Philippe van Heurck |
TRASEC: National Security System for EFTs in Belgium. |
Comput. Networks |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Carl Steve Guynes |
EFTS impact on computer security. |
Comput. Secur. |
1983 |
DBLP DOI BibTeX RDF |
|
31 | F. W. Lancaster |
The Cashless Society: Efts at the Crossroads. A. Bequai. New York: Wiley; 1981: ISBN 0-471-05654-5, 298pp. Price: $21.95. |
J. Am. Soc. Inf. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
31 | R. Anselstetter |
EFTS - Das aktuelle Schlagwort. |
Inform. Spektrum |
1981 |
DBLP BibTeX RDF |
|
31 | Donn B. Parker |
Vulnerabilities of EFTs to Intentionally Caused Losses. |
Commun. ACM |
1979 |
DBLP DOI BibTeX RDF |
|
31 | Jack Dugger |
EFTS related file recovery and integrity problems. |
SIGCOMM |
1979 |
DBLP DOI BibTeX RDF |
|
31 | Joseph Mazzetti |
Wholesale EFTS: A communications strategy. |
SIGCOMM |
1979 |
DBLP DOI BibTeX RDF |
|
31 | Stephen J. Kohn |
EFTS - Electronic fund transfer system overview. |
AFIPS National Computer Conference |
1978 |
DBLP BibTeX RDF |
|
31 | Russell H. Dewey |
Systems auditability and control in an EFTS environment. |
AFIPS National Computer Conference |
1978 |
DBLP BibTeX RDF |
|
28 | Khanh Quoc Nguyen, Yi Mu 0001, Vijay Varadharajan |
Secure and Efficient Digital Coins. |
ACSAC |
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 |
28 | Khanh Quoc Nguyen, Yi Mu 0001, Vijay Varadharajan |
Micro-Digital Money for Electronic Commerce. |
ACSAC |
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 |
28 | Brigitte Althen, Gerd Enste, Brigitte Nebelung |
Innovative Secure Payments On The Internet Using The German Electronic Purse. |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
secure payments, German electronic purse, off-line terminals, merchant's site, Internet, security mechanisms, EFTS |
28 | Vijay Varadharajan, Yi Mu 0001 |
On The Design Of Secure Electronic Payment Schemes For Internet. |
ACSAC |
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 |
28 | Mark G. Staskauskas |
The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System. |
IEEE Trans. Computers |
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 |
25 | Jin Lu 0002, José M. F. Moura |
TS-LDPC Codes: Turbo-Structured Codes With Large Girth. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Xueping Ren, Jian Wan 0001, GuangHuan Hu |
A Novel Task Scheduling for Heterogeneous Systems. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|