1678 search results - page 45 / 336 » An ASM Specification of C |
149
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
156
Voted
ELPUB
1997
ACM
15 years 9 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
144
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Effective extraction of query relevant information present within documents on the web is a nontrivial task. In this paper we present our system called QueSTS, which does the abov...
121
Voted
FLAIRS
2004
15 years 7 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
149
click to vote
SERP
2004
15 years 7 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...