4666 search results - page 537 / 934 » Equations on Timed Languages |
219
click to vote
UML
2004
Springer
16 years 29 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
206
click to vote
DOCENG
2003
ACM
16 years 27 days ago
2003
ACM
We introduce a lazy XSLT interpreter that provides random access to the transformation result. This allows efficient pipelining of transformation sequences. Nodes of the result tr...
160
click to vote
GPCE
2003
Springer
16 years 25 days ago
2003
Springer
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...
235
click to vote
MOBILITY
2009
ACM
16 years 9 days ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
219
click to vote
MMMACNS
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...