Sciweavers

10284 search results - page 409 / 2057
» Designing for nomadic work
Sort
View
ICCD
2001
IEEE
176views Hardware» more  ICCD 2001»
16 years 3 months ago
BDD Variable Ordering by Scatter Search
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...
William N. N. Hung, Xiaoyu Song
ICALT
2008
IEEE
16 years 1 months ago
HABITAT: A Web Supported Treatment for Acquired Brain Injured
The rehabilitation of a patient with Acquired Brain Injury begins during the acute treatment phase. It is important to focus on maximizing the patient's capabilities at home ...
Elena Navarro, Víctor López-Jaquero,...
HICSS
2007
IEEE
98views Biometrics» more  HICSS 2007»
16 years 1 months ago
Electricity industry restructuring in Australia: underlying principles and experience to date
Electricity restructuring is a complex, never-ending process that has engineering, economic, social, commercial, legal and policy dimensions and takes place within a broad societa...
Hugh Outhred
HVC
2007
Springer
107views Hardware» more  HVC 2007»
16 years 27 days ago
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
Dana Fisman
ICWE
2007
Springer
16 years 27 days ago
WebRatio 5: An Eclipse-Based CASE Tool for Engineering Web Applications
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
Roberto Acerbis, Aldo Bongio, Marco Brambilla, Ste...