3318 search results - page 472 / 664 » The Weak Instance Model |
119
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
Web based services and applications have increased the availability and accessibility of information. XML has recently emerged as an important standard in the area of information ...
126
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...
128
Voted
FM
2009
Springer
15 years 5 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
111
click to vote
ECRTS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
109
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
Applications have an increasing need to manage semistructured data such as data encoded in XML along with conventional structured data. We extend the structured object database ...