2135 search results - page 95 / 427 » An Operational Semantics for JavaScript |
ATVA
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...