Sciweavers

2253 search results - page 221 / 451
» An Approach to Specifying Software Frameworks
Sort
View
ICSE
2004
IEEE-ACM
15 years 10 months ago
Precise Modeling of Design Patterns in UML
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Danie...
AUIC
2003
IEEE
15 years 10 months ago
An environment for developing adaptive, multi-device user interfaces
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
John C. Grundy, Biao Yang
CEEMAS
2001
Springer
15 years 9 months ago
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
EUROMICRO
2000
IEEE
15 years 9 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...
ICFEM
1998
Springer
15 years 8 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers