7557 search results - page 468 / 1512 » Modeling Timed Concurrent Systems |
241
Voted
CSREAESA
2006
15 years 8 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
198
Voted
CGF
2005
15 years 6 months ago
2005
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
185
Voted
RTSS
2005
IEEE
16 years 13 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
188
Voted
ICANN
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
176
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...