Einloggen

Thematische Bibliographien / Atomicita / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Atomicita.

Zeitschriftenartikel zum Thema „Atomicita“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Atomicita" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

BELMAR, ANTONIO GARCA, and JOS RAMN BERTOMEU SNCHEZ. "ATOMS IN FRENCH CHEMISTRY TEXTBOOKS DURING THE FIRST HALF OF THE NINETEENTH CENTURY:." Nuncius 19, no. 1 (2004): 77–119. http://dx.doi.org/10.1163/182539104x00034.

Der volle Inhalt der Quelle

Annotation:

Abstracttitle RIASSUNTO /title Gli ELMENS DE CHIMIE medicale di Mateu Orfila i Rotger (1787-1853) costituiscono una eccellente fonte storica per lo studio dell'ascesa e caduta della teoria atomica nella Francia della prima met dell'ottocento. Il libro fu ristampato otto volte fra il 1817 e il 1851; inoltre parecchie versioni ridotte furono pubblicate in inglese, spagnolo, tedesco, italiano e olandese. Vogliamo analizzare in primo luogo come la teoria atomica fu ricevuta dai libri di testo francesi appartenenti alle prime due decadi dell'ottocento. Gli atomi furono visti dagli autori francesi c

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Banach, Richard, Czesław Jeske, Anthony Hall, and Susan Stepney. "Atomicity failure and the retrenchment atomicity pattern." Formal Aspects of Computing 25, no. 3 (2011): 439–64. http://dx.doi.org/10.1007/s00165-011-0216-1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Chen, Qi Chang, Zhan Fang Chen, Zhuang Liu, et al. "BAVC: Classifying Benign Atomicity Violations via Machine Learning." Advanced Materials Research 765-767 (September 2013): 1576–80. http://dx.doi.org/10.4028/www.scientific.net/amr.765-767.1576.

Der volle Inhalt der Quelle

Annotation:

The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is caused by concurrent executions unexpectedly violating the atomicity of a certain code region, is one of the most common concurrency errors. However, atomicity violation bugs are hard to find using traditional testing and debugging techniques. In this paper, we investigate an approach based on machine learning techniques (specifically decision tree and support vector machine (SVM)) for classifying the benign atomicity violatio

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Ackema, Peter, and Ad Neeleman. "Syntactic Atomicity." Journal of Comparative Germanic Linguistics 6, no. 2 (2002): 93–128. http://dx.doi.org/10.1023/a:1023602928159.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Süli, Patrik P., Judit Knoll, and Zoltán Porkoláb. "Multithreading Atomicity." Acta Cybernetica 27, no. 2 (2025): 241–61. https://doi.org/10.14232/actacyb.311949.

Der volle Inhalt der Quelle

Annotation:

Ensuring thread safety in applications is crucial for preventing subtle and challenging bugs in concurrent programming. This paper presents two algorithmic approaches to improve thread safety through static analysis and to demonstrate their benefits in real life, the authors also implemented them as two detectors in SpotBugs static analyzer. These checkers are designed to identify unsafe usages of shared resources and improper atomic operations in concurrent Java programming, aiming to mitigate common multithreading issues such as race conditions. By emphasizing consistent locking strategies a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Giebas, Damian, and Rafał Wojszczyk. "Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process." Applied Sciences 10, no. 22 (2020): 8005. http://dx.doi.org/10.3390/app10228005.

Der volle Inhalt der Quelle

Annotation:

This paper is a contribution to the field of research dealing with the parallel computing, which is used in multithreaded applications. The paper discusses the characteristics of atomicity violation in multithreaded applications and develops a new definition of atomicity violation based on previously defined relationships between operations, that can be used to atomicity violation detection. A method of detection of conflicts causing atomicity violation was also developed using the source code model of multithreaded applications that predicts errors in the software.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Choi, Eu-teum, Tae-hyung Kim, Yong-Kee Jun, Seongjin Lee, and Mingyun Han. "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software." Applied Sciences 12, no. 4 (2022): 2014. http://dx.doi.org/10.3390/app12042014.

Der volle Inhalt der Quelle

Annotation:

Airborne health management systems prevent functional failure caused by errors or faults in airborne software. The on-the-fly repairing of atomicity violations in ARINC 653 concurrent software is critical for guaranteeing the correctness of software execution. This paper introduces RAV (Repairing Atomicity Violation), which efficiently treats atomicity violations. RAV diagnoses an error on the fly by utilizing the training results of software and treats to control access to the shared variable of the thread where the error has occurred. The evaluation of RAV measured the time overhead by apply

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Scontras, Gregory, Kathryn Davidson, Amy Rose Deal, and Sarah E. Murray. "Who has more? The influence of linguistic form on quantity judgments." Proceedings of the Linguistic Society of America 2 (June 12, 2017): 41. http://dx.doi.org/10.3765/plsa.v2i0.4097.

Der volle Inhalt der Quelle

Annotation:

Quantity judgment tasks have been increasingly used within and across languages as a diagnostic for noun semantics. Overwhelmingly, results show that notionally atomic nouns (Who has more cats?) are counted, while notionally non-atomic nouns (Who has more milk?) are measured by volume. There are two primary outliers to the strict atomicity-tracking pattern. First, some nouns, like furniture, show primarily cardinality-based results in some studies, indicating atomicity, but nevertheless show systematic non-cardinality judgments in other studies, with comparison based instead on value/utility.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Flanagan, Cormac, Stephen N. Freund, Marina Lifshin, and Shaz Qadeer. "Types for atomicity." ACM Transactions on Programming Languages and Systems 30, no. 4 (2008): 1–53. http://dx.doi.org/10.1145/1377492.1377495.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Kearnes, Keith A. "Atomicity And Nilpotence." Canadian Journal of Mathematics 42, no. 2 (1990): 365–82. http://dx.doi.org/10.4153/cjm-1990-020-1.

Der volle Inhalt der Quelle

Annotation:

There is a body of results for lattices known as “Decomposition Theory” which is aimed at proving certain existence and uniqueness theorems concerning irredundant representations of elements of a compactly generated lattice. The motivation for these results is certainly the quest for sufficient conditions on congruence lattices to insure irredundant subdirect representations of algebras. These theorems usually include some kind of modularity or distribut i v e hypothesis (for uniqueness) and some atomicity hypothesis (for existence); the precise details can be found in [3]. The atomicity condi

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Flanagan, Cormac, and Shaz Qadeer. "Types for atomicity." ACM SIGPLAN Notices 38, no. 3 (2003): 1–12. http://dx.doi.org/10.1145/640136.604176.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Boudol, G., and I. Castellani. "Concurrency and atomicity." Theoretical Computer Science 59, no. 1-2 (1988): 25–84. http://dx.doi.org/10.1016/0304-3975(88)90096-5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Choi, Sea Hee, Tania Ionin, and Yeqiu Zhu. "L1 Korean and L1 Mandarin L2 English learners’ acquisition of the count/mass distinction in English." Second Language Research 34, no. 2 (2017): 147–77. http://dx.doi.org/10.1177/0267658317717581.

Der volle Inhalt der Quelle

Annotation:

This study investigates the second language (L2) acquisition of the English count/mass distinction by speakers of Korean and Mandarin Chinese, with a focus on the semantics of atomicity. It is hypothesized that L1-Korean and L1-Mandarin L2-English learners are influenced by atomicity in the use of the count/mass morphosyntax in English. This hypothesis is tested in two experiments, one comparing Korean and Mandarin speakers in their L2 (English) and the other investigating count/mass morphosyntax in native Korean and Mandarin Chinese. In both experiments, participants are tested on their suppl

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Kienzle, Jörg. "On Atomicity and Software Development." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 687–702. https://doi.org/10.3217/jucs-011-05-0687.

Der volle Inhalt der Quelle

Annotation:

This paper shows how the concept of atomicity can ease the development of concurrent software. It illustrates by means of a case study how atomicity is used to reduce the complexity of concurrency by presenting simplified models or views of the system at certain stages of the development cycle. As the development process goes on, the atomic views from the early stages are refined - broken up into smaller pieces - to slowly introduce concurrency back into the system. Finally, at the design stage, low-level concepts that provide atomicity, such as transaction or monitors, are used to ensure cons

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Golovashina, Oksana. "Event as Object: Towards a Flat-Event Theory." Sotsiologicheskoe Obozrenie / Russian Sociological Review 20, no. 1 (2021): 89–106. http://dx.doi.org/10.17323/1728-192x-2021-1-89-106.

Der volle Inhalt der Quelle

Annotation:

In the article, the author offers an original version of the solution to the problem of the atomicity of social events. The relevance of the topic is due to the fact that it is indivisibility that makes it possible to distinguish an event from other social phenomena/processes. From the author’s point of view, the event must have a certain duration, which is atomic. As the first step, the author, relying on a wide range of sources that include the views of various theorists, considers the problem of the indivisibility of social events in the current theory of events. The author notes that logic

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Carver, Andy, and Terry Halpin. "Atomicity and Semantic Normalization." International Journal of Information System Modeling and Design 1, no. 2 (2010): 23–39. http://dx.doi.org/10.4018/jismd.2010040102.

Der volle Inhalt der Quelle

Annotation:

This paper contrasts two different approaches to designing relational databases that are free of redundancy. The Object-Role Modeling (ORM) approach captures semantics in terms of atomic (elementary or existential) fact types, before grouping the fact types into relation schemes. Normalization by decomposition instead focuses on “non0loss decomposition” to various, and progressively more refined, “normal forms”. Traditionally, non0loss decomposition of a relation requires decomposition into smaller relations that, upon natural join, yield the exact original population. Non-loss decomposition o

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Flanagan, C., S. N. Freund, and S. Qadeer. "Exploiting purity for atomicity." IEEE Transactions on Software Engineering 31, no. 4 (2005): 275–91. http://dx.doi.org/10.1109/tse.2005.47.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Jin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." ACM SIGPLAN Notices 47, no. 6 (2012): 389. http://dx.doi.org/10.1145/2345156.1993544.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Jin, Guoliang, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. "Automated atomicity-violation fixing." ACM SIGPLAN Notices 46, no. 6 (2011): 389–400. http://dx.doi.org/10.1145/1993316.1993544.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Tygar, J. D. "Atomicity in electronic commerce." netWorker 2, no. 2 (1998): 32–43. http://dx.doi.org/10.1145/280449.280458.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Gyenis, Zalán, and Miklós Rédei. "Atomicity and Causal Completeness." Erkenntnis 79, S3 (2013): 437–51. http://dx.doi.org/10.1007/s10670-013-9456-1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Anderson, James H., and Mohamed G. Gouda. "A criterion for atomicity." Formal Aspects of Computing 4, no. 3 (1992): 273–98. http://dx.doi.org/10.1007/bf01212305.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Flanagan, Cormac, Stephen N. Freund, and Shaz Qadeer. "Exploiting purity for atomicity." ACM SIGSOFT Software Engineering Notes 29, no. 4 (2004): 221–31. http://dx.doi.org/10.1145/1013886.1007543.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Sere, K. "Procedures and atomicity refinement." Information Processing Letters 60, no. 2 (1996): 67–74. http://dx.doi.org/10.1016/s0020-0190(96)00142-1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Theriault, Stephen. "Atomicity for Anick's spaces." Journal of Pure and Applied Algebra 219, no. 6 (2015): 2346–58. http://dx.doi.org/10.1016/j.jpaa.2014.09.003.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Zedan, H. "Achieving atomicity in occam." Microprocessing and Microprogramming 23, no. 1-5 (1988): 261–65. http://dx.doi.org/10.1016/0165-6074(88)90366-3.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Ziarek, Lukasz, Philip Schatz, and Suresh Jagannathan. "Modular Checkpointing for Atomicity." Electronic Notes in Theoretical Computer Science 174, no. 9 (2007): 85–115. http://dx.doi.org/10.1016/j.entcs.2007.04.008.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Nesterenko, Mikhail, and Anish Arora. "Stabilization-Preserving Atomicity Refinement." Journal of Parallel and Distributed Computing 62, no. 5 (2002): 766–91. http://dx.doi.org/10.1006/jpdc.2001.1828.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Burton, Jon, and Cliff Jones. "Investigating Atomicity and Observability." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 661–86. https://doi.org/10.3217/jucs-011-05-0661.

Der volle Inhalt der Quelle

Annotation:

Using the fiction of atomicity as a design abstraction and then refining atomicity as we develop an implementation is widely used in areas of concurrent computing such as database systems and transaction processing. In each of these and similar areas, associated notions of correctness are used in order to show that a particular implementation artefact which exhibits concurrency is correct in some sense with respect to a (possibly notional) description which executes with a greater degree of sequentiality. Of crucial importance in the proof and deployment of such notions of correctness is the i

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Jones, Cliff, David Lomet, Alexander Romanovsky, and Gerhard Weikum. "The Atomic Manifesto." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 636–50. https://doi.org/10.3217/jucs-011-05-0636.

Der volle Inhalt der Quelle

Annotation:

This paper is a manifesto for future research on "atomicity" in its many guises and is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004. Additional Authors: Dagstuhl Seminar, (Organizer Authors) and Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luis Rodrigues, Dagstuhl Seminar, (Participant Authors).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Büchi, Martin, and Emil Sekerinski. "A Foundation for Refining Concurrent Objects." Fundamenta Informaticae 44, no. 1-2 (2000): 25–61. https://doi.org/10.3233/fun-2000-441-202.

Der volle Inhalt der Quelle

Annotation:

We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the behavior of a concurrent, distributed, or interactive system in terms of the atomic actions that can take place during the execution of the system. Classes serve as templates for creating objects. To express concurrency with objects, we add actions to classes. We define class refinement based on trace refinement of action systems. Additionally, we give a simulation-based proof rule. We show that the easier to apply si

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Coleman, Joey, Cliff Jones, and David Lomet. "Atomicity: A Unifying Concept in Computer Science." JUCS - Journal of Universal Computer Science 13, no. (8) (2007): 1042–46. https://doi.org/10.3217/jucs-013-08.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Jagannathan, Suresh, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek. "Atomicity Refinement for Verified Compilation." ACM Transactions on Programming Languages and Systems 36, no. 2 (2014): 1–30. http://dx.doi.org/10.1145/2601339.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Kulkarni, Aditya, Yu David Liu, and Scott F. Smith. "Task types for pervasive atomicity." ACM SIGPLAN Notices 45, no. 10 (2010): 671–90. http://dx.doi.org/10.1145/1932682.1869514.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Hesselink, Wim H. "A challenge for atomicity verification." Science of Computer Programming 71, no. 1 (2008): 57–72. http://dx.doi.org/10.1016/j.scico.2008.01.001.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Wang, Liqiang, and Scott D. Stoller. "Run-Time Analysis for Atomicity." Electronic Notes in Theoretical Computer Science 89, no. 2 (2003): 191–209. http://dx.doi.org/10.1016/s1571-0661(04)81049-1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Hesselink, Wim H. "A criterion for atomicity revisited." Acta Informatica 44, no. 2 (2007): 123–51. http://dx.doi.org/10.1007/s00236-007-0044-1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Hesselink, Wim H. "An assertional criterion for atomicity." Acta Informatica 38, no. 5 (2002): 343–66. http://dx.doi.org/10.1007/s002360200080.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Mahmud, Zafer. "Unstable atomicity of ΩSpin(r)". Proceedings of the Royal Society of Edinburgh: Section A Mathematics 112, № 1-2 (1989): 53–69. http://dx.doi.org/10.1017/s0308210500028171.

Der volle Inhalt der Quelle

Annotation:

SynopsisWe determine the homomorphism induced, in Z2-cohomology, by a map f: ΩSpin(r) → ΩSpin(r). As a corollary we show that ΩSpin(r), r ≧ 9 is 2-atomic, where a space X is 2-atomic if any map f: X ≧X is either a mod 2 homotopy equivalence or f*: H*(X, Z2) → H*(X, Z2) is nilpotent.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Jagannathan, Suresh, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek. "Atomicity refinement for verified compilation." ACM SIGPLAN Notices 49, no. 6 (2014): 27. http://dx.doi.org/10.1145/2666356.2594346.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Kulkarni, Sandeep S., Chase Bolen, John Oleszkiewicz, and Andrew Robinson. "Alternators in read/write atomicity." Information Processing Letters 93, no. 5 (2005): 207–15. http://dx.doi.org/10.1016/j.ipl.2004.11.009.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Fekete, Alan, Nancy Lynch, and William E. Weihl. "Hybrid atomicity for nested transactions." Theoretical Computer Science 149, no. 1 (1995): 151–78. http://dx.doi.org/10.1016/0304-3975(95)00029-v.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Maessen, Jan-Willem, and Arvind. "Store Atomicity for Transactional Memory." Electronic Notes in Theoretical Computer Science 174, no. 9 (2007): 117–37. http://dx.doi.org/10.1016/j.entcs.2007.04.009.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Moss, J. Eliot B., and Ravi Rajwar. "Atomicity as a First-Class System Provision." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 651–60. https://doi.org/10.3217/jucs-011-05-0651.

Der volle Inhalt der Quelle

Annotation:

We argue that atomicity, i.e., atomic actions with most of the traditional "ACID" properties, namely atomicity, consistency, and isolation but perhaps not durability, should be provided as a fundamental first class resource in computer systems. This implies coherent, convenient, and well-engineered support from the hardware, through the run-time system, programming language, and libraries, to the operating system. We articulate the advantages of this approach, indicate what has already been accomplished, and outline what remains to be done to realize the vision.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Burton, Jon, and Cliff Jones. "Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181)." JUCS - Journal of Universal Computer Science 11, no. (5) (2005): 634–35. https://doi.org/10.3217/jucs-011-05.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Li, Xiao Min, Bing Liang, and Jian Ping Wang. "Analysis and Improvement of Mobile Payment Security Based on SET Protocol." Applied Mechanics and Materials 117-119 (October 2011): 615–18. http://dx.doi.org/10.4028/www.scientific.net/amm.117-119.615.

Der volle Inhalt der Quelle

Annotation:

In order to improve the performance of SET protocol based on the original one, such as security and integrity of information, non-repudiation etc, a improved SET protocol is used in this paper. By introducing client wallet and server wallet, the improved SET protocol can rationally solve the conflicting decision analysis problem between the businesses and customers. The mobile payment based on the improved SET protocol has many features such as confidentiality, integrity, transaction atomicity and goods atomicity etc. Mobile payment based on SET protocol will be a very popular payment way in t

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Kuzume, Akiyoshi, and Kimihisa Yamamoto. "Tin oxide subnanoparticles: a precisely-controlled synthesis, subnano-detection for their detailed characterisation and applications." Dalton Transactions 49, no. 39 (2020): 13512–18. http://dx.doi.org/10.1039/d0dt02186e.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Chu, Mei, Guang Nan Guo, Yong Gang Yun, Hong Yan Shi, and Jin Ping Liu. "A Web Service Transaction Coordination Framework Based on Compensation." Advanced Materials Research 433-440 (January 2012): 5183–87. http://dx.doi.org/10.4028/www.scientific.net/amr.433-440.5183.

Der volle Inhalt der Quelle

Annotation:

The atomicity characteristic of traditional transaction processing makes entire transaction process to naught in case of specific event or error. To address problem of traditional transaction processing and combining with characteristics of Web service transaction processing, a Web service transaction coordination framework based on compensation was presented. The coordination algorithm and state transformation of long transaction were also provided. The framework mainly provides fault recovery of Web service to ensure atomicity of transaction and consistency of compensation. It permit partici

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Gavriluţ, Gabriel, Alina Gavriluţ, and Maricel Agop. "Extended Minimal Atomicity through Nondifferentiability: A Mathematical-Physical Approach." Advances in Mathematical Physics 2019 (January 10, 2019): 1–16. http://dx.doi.org/10.1155/2019/8298691.

Der volle Inhalt der Quelle

Annotation:

The mathematical concept of minimal atomicity is extended to fractal minimal atomicity, based on the nondifferentiability of the motion curves of physical system entities on a fractal manifold. For this purpose, firstly, different results concerning minimal atomicity from the mathematical procedure of the Quantum Measure Theory and also several physical implications are obtained. Further, an inverse method with respect to the common developments concerning the minimal atomicity concept has been used, showing that Quantum Mechanics is identified as a particular case of Fractal Mechanics at a gi

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

Fassi Fehri, Abdelkader. "Nominal classes, reference, and functional parameters, with particular reference to Arabic." Linguistic Variation Yearbook 2004 4 (December 31, 2004): 41–108. http://dx.doi.org/10.1075/livy.4.03feh.

Der volle Inhalt der Quelle

Annotation:

DPs and BNs are used parametrically in Arabic (as well as in other languages) to express generic/existential contrasts, and mass/count oppositions. Unlike English and Romance, Arabic BNs behave like overt indefinites, give rise to bare singulars, and to numeral BNs, obviating scope or opacity distinctions between bare singulars, duals, or plurals. These numerous BN varieties are accounted for via various N-to-F computational processes, involving namely Numeral and Generic positions. Second, indefinite and definite generic types also make use of covert/overt D oppositions, yet they are subjecte

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!