7820 search results - page 377 / 1564 » Formalization of Time and Space |
202
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
216
click to vote
CBMS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
219
click to vote
APWEB
2005
Springer
16 years 1 months ago
2005
Springer
Data management issues in mobile computing environments have got lots of concerns of relevant researchers. Among these research topics, data broadcast has been extensively investig...
221
click to vote
JSSPP
2005
Springer
16 years 1 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
208
click to vote
ICECCS
1998
IEEE
15 years 12 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...