3653 search results - page 433 / 731 » On Recognizable Timed Languages |
194
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
144
click to vote
DEBS
2003
ACM
15 years 12 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
157
click to vote
DOCENG
2003
ACM
15 years 12 months 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...
166
click to vote
SAC
2010
ACM
15 years 11 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...
153
click to vote
JCDL
2010
ACM
15 years 11 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...