4666 search results - page 638 / 934 » Equations on Timed Languages |
160
click to vote
DOCENG
2003
ACM
16 years 1 days ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
168
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
157
click to vote
JCDL
2010
ACM
15 years 12 months ago
2010
ACM
Space and time are important dimensions in the representation of a large number of concepts. However there exists no available resource that provides spatiotemporal mappings of ge...
179
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
176
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...