4586 search results - page 779 / 918 » Computing stable models in parallel |
142
Voted
DCOSS
2005
Springer
15 years 7 months ago
2005
Springer
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...
111
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
131
click to vote
GCC
2005
Springer
15 years 7 months ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
131
Voted
GCC
2005
Springer
15 years 7 months ago
2005
Springer
Metadata is the information that describes the most important feature of an object. In recent years, metadata plays a more and more important role in data intensive applications. I...
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...