3828 search results - page 521 / 766 » Proof-Based System Engineering Using a Virtual System Model |
165
click to vote
ADBIS
2006
Springer
16 years 21 days ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
178
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
180
Voted
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
210
Voted
HAPTICS
2005
IEEE
16 years 10 days ago
2005
IEEE
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...
184
click to vote
ICDAR
2005
IEEE
16 years 10 days ago
2005
IEEE
Cheap and versatile cameras make it possible to easily and quickly capture a wide variety of documents. However, low resolution cameras present a challenge to OCR because it is vi...