816 search results - page 64 / 164 » Practical Multi-level Modeling on MOF-compliant Modeling Fra... |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
FORTE
2008
14 years 11 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
TROB
2002
14 years 9 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...
EDBT
1998
ACM
15 years 2 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...