Refine
Departments, institutes and facilities
Document Type
- Article (34)
- Conference Object (16)
- Book (monograph, edited volume) (10)
- Part of a Book (6)
- Lecture (4)
- Contribution to a Periodical (3)
- Conference Proceedings (2)
- Doctoral Thesis (2)
- Report (2)
- Patent (1)
Year of publication
- 2001 (81) (remove)
Has Fulltext
- no (81)
Keywords
- Lehrbuch (3)
- Electronic Commerce (2)
- Active vision interface (1)
- Algebra (1)
- Anwendungssystem (1)
- Balanced Scorecard (1)
- Bankwirtschaft (1)
- Caspase (1)
- Chlorophyll (1)
- Chlorophyll fluorescence (1)
We present a model checking algorithm for ∀CTL (and full CTL) which uses an iterative abstraction refinement strategy.
It terminates at least for all transition systems M that have a finite simulation or bisimulation quotient. In contrast to other abstraction refinement algorithms, we always work with abstract models whose sizes depend only on the length of the formula θ (but not on the size of the system, which might be infinite).
The influence of interaction details on the thermal diffusion in binary Lennard-Jones liquids
(2001)
GMD-Robots
(2001)
Der Kunde im Fokus!
(2001)
Durch das Internet entstehen neue Formen des elektronischen Geschäftsverkehrs (E-Commerce). Die elektronischen Märkte nähern sich dabei immer mehr dem aus der klassischen Volkswirtschaftslehre bekannten Ideal des "vollkommenen Gütermarktes". Gleichzeitig lassen sich neue Preis- und Erlösstrategien beobachten, die auf den besonderen Eigenschaften der elektronischen Märkte basieren. Wie ist diese Entwicklung aus mikroökonomischer Sicht zu bewerten?
3rd Generation networks as proposed by 3GPP claim to follow the path towards fixed-mobile convergence and full support of Internet services. Although the providers have obviously recognised the dynamics of the Internet, their attempt to provide IP-services over the system has led to a circuit switched architecture. This forthcoming infrastructure will be a sophisticated, complicated, and quite expensive network, with some IP-equipment in the middle (core-network). From an IETF-biased engineers view, some parts of this network and protocols could be dropped, except that they are probably needed for backward compatibility. But since backward compatibility and saving of investment is a major concern of the standardising bodies, the evolving architectures carry a big burden.
This paper presents the current stage of an IP-based architecture for heterogeneous environments, covering UMTS-like W-CDMA wireless access technology, wireless and wired LANs, that is being developed under the aegis of the IST Moby Dick project. This architecture treats all transmission capabilities as basic physical and data-link layers, and attempts to replace all higher-level tasks by IP-based strategies.
Controlling ist ein Konzept zur nachhaltigen und langfristigen Existenzsicherung eines Unternehmens.1 Die Gestaltung und Steuerung von Geschäftsprozessen dient der Unternehmenssteuerung und ist eng verzahnt mit dem Controlling-Konzept. Denn nur Geschäftsprozesse mit positivem Ergebnisbeitrag stellen langfristig den Erfolg des Unternehmens sicher. Der Unterstützung durch betriebswirtschaftliche Standardsoftware kommt hierbei eine starke Bedeutung zu, da deren effiziente Nutzung einen wesentlichen Erfolgsbeitrag für die Geschäftsprozessgestaltung liefert.
Chloritesare found in igneous rocks, and more commonly
in sediments and low grade metamorphic rocks (BrinJiey &
Brown 1980). Because chlorites are less stable than most of
the other clay minerals when placed into an acidic
environment (Barnhisel & Bertsch 1989), they play
significant roles in the solution chemistry and may be an
important source of magnesium and micronutrients in soils
(Ross 1975). The objective of the present study was to
compare the weathering behavior of different chlorites in
different chemical environments.