Search results for "EFTS"

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