3828 search results - page 547 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
171
click to vote
ICALT
2005
IEEE
16 years 2 days ago
2005
IEEE
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...
183
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
161
click to vote
COMSWARE
2008
IEEE
16 years 28 days ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
164
Voted
COMPSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...