81 search results - page 10 / 17 » Temporal skeletons for verifying time |
KBSE
1998
IEEE
13 years 10 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
AMC
2005
13 years 7 months ago
2005
In this study wavelet based high-order Taylor Galerkin methods is introduced. Additional time layers are used to obtain high-order temporal accuracy unattainable within a two-step...
VLDB
2010
ACM
13 years 5 months ago
2010
ACM
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...