Sciweavers

881 search results - page 125 / 177
» Tool support for designing nomadic applications
Sort
View
EHCI
2001
13 years 9 months ago
A Unifying Reference Framework for the Development of Plastic User Interfaces
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
Gaëlle Calvary, Joëlle Coutaz, David The...
ISTA
2004
13 years 9 months ago
Enterprise Architecture Modeling using Agent Paradigm
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
TPHOL
1998
IEEE
14 years 4 days ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
DAC
2001
ACM
14 years 8 months ago
Power-Aware Scheduling under Timing Constraints for Mission-Critical Embedded Systems
Power-aware systems are those that must make the best use of available power. They subsume traditional low-power systems in that they must not only minimize power when the budget ...
Jinfeng Liu, Pai H. Chou, Nader Bagherzadeh, Fadi ...
DAC
2003
ACM
14 years 8 months ago
A retargetable micro-architecture simulator
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
Wai Sum Mong, Jianwen Zhu