Institution
University of Paderborn
Education•Paderborn, Nordrhein-Westfalen, Germany•
About: University of Paderborn is a education organization based out in Paderborn, Nordrhein-Westfalen, Germany. It is known for research contribution in the topics: Control reconfiguration & Software. The organization has 6684 authors who have published 16929 publications receiving 323154 citations.
Papers published on a yearly basis
Papers
More filters
••
17 Jun 2004TL;DR: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics.
Abstract: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or no formal definition is given at all.
107 citations
••
TL;DR: A series of thiourea derivatives, namely, N,N-diphenyl-N′-(4-phenyl-benzoyl)thIourea (HL1), N, N-di-n-propyl-n+propyl N′-( 4-chloro-benzinoyl)-thIOUERA (HL2), and its metal complexes has been prepared and characterised by elemental analysis, i.e. 1H-n.m.r. spectroscopy, mass spectrometry and single crystal
Abstract: A novel series of thiourea derivatives, namely, N,N-diphenyl-N′-(4-phenyl-benzoyl)thiourea (HL1), N,N-diphenyl-N′-(4-chloro-benzoyl)thiourea (HL2) and N,N-di-n-propyl-N′-(4-chloro-benzoyl)thiourea (HL3), and its metal complexes has been prepared and characterised by elemental analysis, i.r. spectroscopy, 1H-n.m.r. spectroscopy, mass spectrometry and single crystal X-ray diffraction. The ligand coordinates to NiII, CuII and CoII in a bidentate manner yielding essentially neutral complexes of the type cis-[ML2]. N.m.r. spectra and single crystal X-ray diffraction analysis revealed the presence of a distorted tetrahedral coordination ML2 complex.
106 citations
••
19 May 2002TL;DR: A formal interpretation of use case models consisting of UML use case, activity, and collaboration diagrams is proposed, which allows to make precise the notions of conflict and dependency between functional requirements expressed by different use cases.
Abstract: In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties.However, due to the diversity, incompleteness, and informal nature, in particular of functional and dynamic requirements, such conflicts are difficult to find. Formal approaches to requirements engineering, often based on logic, attack these problems, but require highly specialized experts to write and reason about such specifications.In this paper, we propose a formal interpretation of use case models consisting of UML use case, activity, and collaboration diagrams. The formalization, which is based on concepts from the theory of graph transformation, allows to make precise the notions of conflict and dependency between functional requirements expressed by different use cases. Then, use case models can be statically analyzed, and conflicts or dependencies detected by the analysis can be communicated to the modeler by annotating the model.An implementation of the static analysis within a graph transformation tool is presented.
106 citations
••
TL;DR: This paper derives a novel network architecture supporting the resulting requirements and investigates options for the simulation based performance evaluation of such novel concepts, paving the road towards more scalable and efficient Internet of Nano Things (IoNT) systems.
106 citations
••
TL;DR: In this paper, the spontaneous polarization of the smectic layers is not compensated by the helical twist, and the temperature dependence of spontaneous polarization has been studied near the phase transition of the C→smectic A.
106 citations
Authors
Showing all 6872 results
Name | H-index | Papers | Citations |
---|---|---|---|
Martin Karplus | 163 | 831 | 138492 |
Marco Dorigo | 105 | 657 | 91418 |
Robert W. Boyd | 98 | 1161 | 37321 |
Thomas Heine | 84 | 423 | 24210 |
Satoru Miyano | 84 | 811 | 38723 |
Wen-Xiu Ma | 83 | 420 | 20702 |
Jörg Neugebauer | 81 | 491 | 30909 |
Thomas Lengauer | 80 | 477 | 34430 |
Gotthard Seifert | 80 | 445 | 26136 |
Reshef Tenne | 74 | 529 | 24717 |
Tim Meyer | 74 | 548 | 24784 |
Qiang Cui | 71 | 292 | 20655 |
Thomas Frauenheim | 70 | 451 | 17887 |
Walter Richtering | 67 | 332 | 14866 |
Marcus Elstner | 67 | 209 | 18960 |