2602 search results - page 242 / 521 » Semantic Analysis of 'to' |
163
click to vote
FMOODS
2003
15 years 8 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
197
click to vote
COLING
2000
15 years 8 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
228
click to vote
ROOM
2000
15 years 8 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
184
click to vote
WICSA
2007
15 years 7 months ago
2007
Architectural knowledge is reflected in various artifacts of a software product. In the case of a software product audit this architectural knowledge needs to be uncovered and it...
165
click to vote
JSW
2007
15 years 6 months ago
2007
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...