Sciweavers

5664 search results - page 89 / 1133
» Creativity support tools
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
14 years 10 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
HICSS
2005
IEEE
138views Biometrics» more  HICSS 2005»
14 years 3 months ago
Exploring the Variation in Student Project Team Knowledge Integration Competency
Organizations are increasingly using cross-functional project teams to increase flexibility. The belief is that individuals will be able to share and combine their different knowl...
Sue Newell, Susan Adams, Marcy Crary, Priscilla Gl...
SIGGRAPH
1996
ACM
14 years 2 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
JUCS
2008
115views more  JUCS 2008»
13 years 10 months ago
Supporting the Development of Accessible Web Applications
: The aim of this paper is to review the best known methodologies for web applications development as well as the existing supporting tools and techniques from an accessibility-cen...
Myriam Arrue, Markel Vigo, Julio Abascal
AGENTS
2000
Springer
14 years 2 months ago
Tools for Developing and Monitoring Agents in Distributed Multi-Agent Systems
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
John R. Graham, Daniel McHugh, Michael Mersic, Fos...