6829 search results - page 183 / 1366 » Quantitative Generalizations of Languages |
148
click to vote
HASE
2007
IEEE
16 years 18 days ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
153
click to vote
GPCE
2007
Springer
16 years 13 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
178
click to vote
ICALP
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
150
click to vote
RR
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
179
click to vote
WER
2007
Springer
16 years 11 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...