4890 search results - page 354 / 978 » From system specifications to component behavioral models |
160
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
206
click to vote
FAC
2008
15 years 7 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
191
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
193
click to vote
JIIS
2000
15 years 6 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...
189
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...