Sciweavers

7890 search results - page 200 / 1578
» The MathSAT 3 System
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
15 years 8 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 7 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
188
Voted
JMLR
2008
127views more  JMLR 2008»
15 years 6 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
ISCI
2002
130views more  ISCI 2002»
15 years 5 months ago
A study of object declustering strategies in parallel temporal object database systems
In a transaction-time temporal object database management system (TODBMS), updating an object creates a new version of the object, but the old version is still accessible. A TODBM...
Kjetil Nørvåg
IROS
2008
IEEE
158views Robotics» more  IROS 2008»
16 years 14 days ago
Silicone made contractile dielectric elastomer actuators inside 3-Tesla MRI environment
—New actuators are greatly demanded today in order to develop magnetic resonance imaging (MRI)compatible mechatronic systems capable of extended and improved capabilities. They a...
Federico Carpi, Azadeh Khanicheh, Constantinos Mav...