Sciweavers

3191 search results - page 308 / 639
» Qualitative Modeling in Education
Sort
View
APSCC
2008
IEEE
15 years 7 months ago
A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues
Cloud computing is an emerging computing paradigm. It aims to share data, calculations, and services transparently among users of a massive grid. Although the industry has started...
Lijun Mei, Wing Kwong Chan, Tsun-Him Tse
HASE
2008
IEEE
15 years 7 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
81
Voted
ICMENS
2005
IEEE
134views Hardware» more  ICMENS 2005»
15 years 6 months ago
Contact Mechanics Description of Inelastic Displacement Response of a Nano-Positioning Device
– A classical mechanistic model was developed to capture the existence of pre-sliding tangential deflection (PSTD) in contacting polysilicon and coated polysilicon surfaces. For ...
Michael J. Starra, E. David Reedy, Alex D. Corwina...
AOSE
2005
Springer
15 years 6 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
106
Voted
ISER
2004
Springer
158views Robotics» more  ISER 2004»
15 years 6 months ago
Collective Inspection of Regular Structures using a Swarm of Miniature Robots
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
Nikolaus Correll, Alcherio Martinoli