Sciweavers

6348 search results - page 831 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Integrating UML diagrams for production control systems
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
Hans J. Köhler, Ulrich Nickel, Jörg Nier...
TAPSOFT
1991
Springer
15 years 10 months ago
A Calculus of Broadcasting Systems
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
K. V. S. Prasad
FOSSACS
2010
Springer
15 years 10 months ago
Linearly-Used Continuations in the Enriched Effect Calculus
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...
AVI
2008
15 years 9 months ago
Realizing the hidden: interactive visualization and analysis of large volumes of structured data
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
Olaf Noppens, Thorsten Liebig
AVI
2008
15 years 9 months ago
Multiview user interfaces with an automultiscopic display
Automultiscopic displays show 3D stereoscopic images that can be viewed from any viewpoint without special glasses. These displays are becoming widely available and affordable. In...
Wojciech Matusik, Clifton Forlines, Hanspeter Pfis...