Sciweavers

1042 search results - page 92 / 209
» Can Aspects Implement Contracts
Sort
View
ICWE
2004
Springer
14 years 3 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
SIGOPSE
2000
ACM
14 years 2 months ago
Multiprocessing and portability for PDAs
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
Grzegorz Czajkowski
RSP
1999
IEEE
14 years 2 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
ISMVL
1997
IEEE
134views Hardware» more  ISMVL 1997»
14 years 2 months ago
Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams
In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning sample...
Craig M. Files, Rolf Drechsler, Marek A. Perkowski
VLDB
1997
ACM
132views Database» more  VLDB 1997»
14 years 2 months ago
A Foundation for Multi-dimensional Databases
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
Marc Gyssens, Laks V. S. Lakshmanan