Sciweavers

4346 search results - page 230 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
INTERACT
2007
15 years 6 months ago
Model-Driven Adaptation for Plastic User Interfaces
User Interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environments) while preserving usability. In this article, we focus ...
Jean-Sebastien Sottet, Vincent Ganneau, Gaëll...
145
Voted
GMP
2000
IEEE
173views Solid Modeling» more  GMP 2000»
15 years 9 months ago
A Representation Independent Geometric Modeling Kernel
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
Alan E. Middleditch, Chris Reade, Abel J. P. Gomes
PADS
1997
ACM
15 years 8 months ago
Distributed Simulation of Spatially Explicit Ecological Models
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
Kevin Glass, Marilynn Livingston, John S. Conery
129
Voted
ANTSW
2008
Springer
15 years 6 months ago
Modeling Phase Transition in Self-organized Mobile Robot Flocks
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
Ali Emre Turgut, Cristián Huepe, Hande &Cce...
OSDI
2002
ACM
16 years 4 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li