Sciweavers

7206 search results - page 291 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
IADIS
2003
15 years 8 months ago
Web Information Management System: Personalization and Generalization
Our research focuses on web information management for people who want to monitor and use the World Wide Web (WWW) information, as their information resource. Web information is m...
Sung Sik Park, Yang Sok Kim, Byeong Ho Kang
CGO
2007
IEEE
16 years 29 days ago
Code Compaction of an Operating System Kernel
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
Haifeng He, John Trimble, Somu Perianayagam, Saumy...
VLSI
2007
Springer
16 years 21 days ago
Estimating design time for system circuits
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
Cyrus Bazeghi, Francisco J. Mesa-Martinez, Brian G...
SIGGRAPH
1996
ACM
15 years 10 months ago
Improv: A System for Scripting Interactive Actors in Virtual Worlds
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
Ken Perlin, Athomas Goldberg
TACS
1997
Springer
15 years 10 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan