Sciweavers

2453 search results - page 279 / 491
» Design Knowledge Collection by Modeling
Sort
View
HPCN
2000
Springer
15 years 10 months ago
Ruling Agent Motion in Structured Environments
The design and development of cooperative Internet applications based on mobile agents require appropriate modelling of both the physical space where agents roam and the conceptual...
Marco Cremonini, Andrea Omicini, Franco Zambonelli
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
WSC
2004
15 years 8 months ago
The Hats Simulator
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
Paul R. Cohen, Clayton T. Morrison
ICCV
2009
IEEE
16 years 11 months ago
Using machine learning to predict where people look
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable o...
Tilke Judd, Krista Ehinger, Fr´edo Durand, Antoni...
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
16 years 1 months ago
Overcoming limitations of the SystemC data introspection
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
Christian Genz, Rolf Drechsler