Sciweavers

3273 search results - page 389 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
SIGSOFT
1998
ACM
15 years 10 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
HPCN
1998
Springer
15 years 10 months ago
The GRED Graphical Editor for the GRADE Parallel Program Development Environment
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
Péter Kacsuk, Gábor Dózsa, Ti...
GROUP
1997
ACM
15 years 10 months ago
Bridging the gap between face-to-face communication and long-term collaboration
During the different phases of a project, stakeholders have different communication needs and make use of different communication media to satisfy them. A group memory system must...
Stefanie N. Lindstaedt, Kurt Schneider
POPL
1997
ACM
15 years 10 months ago
First-class Polymorphism with Type Inference
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
Mark P. Jones
VLDB
2000
ACM
136views Database» more  VLDB 2000»
15 years 10 months ago
Managing Intervals Efficiently in Object-Relational Databases
Modern database applications show a growing demand for efficient and dynamic management of intervals, particularly for temporal and spatial data or for constraint handling. Common...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl