Sciweavers

1798 search results - page 57 / 360
» Considerations for the design of exergames
Sort
View
AOSE
2001
Springer
15 years 2 months ago
Towards an ADL for Designing Agent-Based Systems
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
Marie-Pierre Gervais, Florin Muscutariu
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 2 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ERCIMDL
1999
Springer
134views Education» more  ERCIMDL 1999»
15 years 2 months ago
Design Guidelines and User-Centred Digital Libraries
As current digital libraries are becoming more complex, the facilities provided by them will increase and the difficulty of learning associated with the complexity of using these f...
Yin Leng Theng, Elke Duncker, Norliza Mohd-Nasir, ...
FMCAD
2007
Springer
15 years 1 months ago
Improved Design Debugging Using Maximum Satisfiability
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
Sean Safarpour, Hratch Mangassarian, Andreas G. Ve...
COMPSAC
2004
IEEE
15 years 1 months ago
Safety Tactics for Software Architecture Design
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
Weihang Wu, Tim Kelly