308 search results - page 26 / 62 » Modular Verification of Interactive Systems with an Applicat... |
PODS
2008
ACM
14 years 7 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
ICCHP
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Through recent developments in the segment of mobile devices like personal digital assistants (PDA) the usage of mobile applications in different areas of our normal lif...
FAST
2009
13 years 5 months ago
2009
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...
BMCBI
2005
13 years 7 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
HT
2004
ACM
14 years 25 days ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...