Sciweavers

1316 search results - page 236 / 264
» An approach to interactive media system for mobile devices
Sort
View
FATES
2005
Springer
14 years 1 months ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
IROS
2006
IEEE
208views Robotics» more  IROS 2006»
14 years 1 months ago
Modeling Soft Contact Mechanism of Biological Cells Using an Atomic Force Bio-Microscope
— The development of a mechanical force sensing device system based on force/vision feedback control for exploring in vitro the contact mechanics of human adherent cervix Epithel...
Maxime Girot, Mehdi Boukallel, Stephane Rég...
ATAL
2005
Springer
14 years 1 months ago
Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper)
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...
Pablo Noriega
ITC
2003
IEEE
135views Hardware» more  ITC 2003»
14 years 26 days ago
MEMS Design And Verification
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...
Tamal Mukherjee
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...