Sciweavers

3169 search results - page 220 / 634
» A General Framework for Large Scale Systems Development
Sort
View
SAINT
2007
IEEE
16 years 12 days ago
Disaster Evacuation Guide: Using a Massively Multiagent Server and GPS Mobile Phones
The ubiquitous environment enables us to build systems that provide individual users with personalized navigation services in cities. In developing such a system, it is necessary ...
Yuu Nakajima, Hironori Shiina, Shohei Yamane, Toru...
ISCA
2010
IEEE
314views Hardware» more  ISCA 2010»
15 years 11 months ago
Energy-performance tradeoffs in processor architecture and circuit design: a marginal cost analysis
Power consumption has become a major constraint in the design of processors today. To optimize a processor for energyefficiency requires an examination of energy-performance trade...
Omid Azizi, Aqeel Mahesri, Benjamin C. Lee, Sanjay...
ACMICEC
2007
ACM
114views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
A service system design approach for ITV banking
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
Els vandekar, Jessica Groeneweg
SEMCO
2007
IEEE
16 years 12 days ago
Intelligent Parsing of Scanned Volumes for Web Based Archives
The proliferation of digital libraries and the large amount of existing documents raise important issues in efficient handling of documents. Printed texts in documents need to be...
Xiaonan Lu, James Ze Wang, C. Lee Giles
ECEASST
2006
72views more  ECEASST 2006»
15 years 6 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...