303 search results - page 3 / 61 » A formal executable semantics of Verilog |
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
ISSS
2002
IEEE
14 years 18 days ago
2002
IEEE
ISSE
2010
13 years 6 months ago
2010
FASE
2001
Springer
14 years 5 days ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...