2482 search results - page 336 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
110
Voted
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
111
click to vote
ERCIMDL
2007
Springer
15 years 8 months ago
2007
Springer
VCenter, a platform for broadcasting digital video content, was developed by the National Digital Archives Program (NDAP), Taiwan. The platform provides a number of functions, such...
111
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
130
click to vote
ER
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...