Sciweavers

1009 search results - page 125 / 202
» Patterns, Tools and Models for Interaction Design
Sort
View
FPL
2004
Springer
144views Hardware» more  FPL 2004»
14 years 2 months ago
A Methodology for Energy Efficient FPGA Designs Using Malleable Algorithms
A recent trend towards integrating FPGAs with many heterogeneous components, such as memory systems, dedicated multipliers, etc., has made them an attractive option for implementin...
Jingzhao Ou, Viktor K. Prasanna
DCOSS
2010
Springer
13 years 10 months ago
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
Joffroy Beauquier, Janna Burman
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 2 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
CAISE
2004
Springer
14 years 3 months ago
An Ontologically Well-Founded Profile for UML Conceptual Models
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
Giancarlo Guizzardi, Gerd Wagner, Nicola Guarino, ...
HICSS
2007
IEEE
124views Biometrics» more  HICSS 2007»
14 years 4 months ago
POSAML: A Visual Modeling Framework for Middleware Provisioning
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
Dimple Kaul, Arundhati Kogekar, Aniruddha S. Gokha...