2713 search results - page 212 / 543 » Parameterized Tree Systems |
133
Voted
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
149
click to vote
XIMEP
2005
ACM
15 years 9 months ago
2005
ACM
Supporting queries and modifications on XML documents is a challenging task, and several related approaches exist. When implementing query and modification languages efficientl...
115
click to vote
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Multicast is an effective means for conducting the cooperative P2P communications. This paper studies an algorithm to construct a scalable and efficient end host multica...
181
Voted
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
Many “ubiquitous computing” applications need a constant flow of information about their environment to be able to adapt to their changing context. To support these “contex...
136
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable mobile agent system is especially challenging since...