2713 search results - page 212 / 543 » Parameterized Tree Systems |
177
click to vote
SAFECOMP
2007
Springer
16 years 17 days 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...
188
click to vote
XIMEP
2005
ACM
16 years 21 hour 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...
149
click to vote
GCC
2004
Springer
15 years 12 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...
214
click to vote
WMCSA
2002
IEEE
15 years 11 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...
170
click to vote
DSN
2000
IEEE
15 years 11 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...