2004 search results - page 348 / 401 » Comparison of Model Checking Tools for Information Systems |
BMCBI
2006
14 years 12 months ago
2006
Background: Molecular maps have been developed for many species, and are of particular importance for varietal development and comparative genomics. However, despite the existence...
RAS
2010
14 years 10 months ago
2010
An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate loc...
114
click to vote
MSWIM
2004
ACM
15 years 5 months ago
2004
ACM
Mobile networks are becoming increasingly popular as a means for distributing information to a large number of users. In comparison to wired networks, mobile networks are distingu...
WSC
1998
15 years 1 months ago
1998
The development of a Distributed Information System (DIS) can lead to critical bottlenecks because of the underlying architecture, which is becoming more and more complex. Todays ...
CGF
2008
14 years 12 months ago
2008
We present an interface for 3D object manipulation in which standard transformation tools are replaced with transient 3D widgets invoked by sketching context-dependent strokes. Th...