12193 search results - page 265 / 2439 » It's not all about |
136
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper the propagation of information about fault states and its implementation in high-speed networks is discussed. The algebraic concept of a lattice partial ordered set ...
152
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
203
click to vote
ISCAPDCS
2008
15 years 8 months ago
2008
We give a new distributed algorithm EasyMAC for the slot assignment for media access control (MAC) of nodes in a sensor network. Our algorithm reduces both the number of messages ...
156
click to vote
AIML
2004
15 years 8 months ago
2004
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
133
click to vote
DATESO
2004
15 years 8 months ago
2004
Abstract. The aim of the article is to inform about the INEX initiative, its testing data set, actual results, and future plans. We discuss and demonstrate possible utilization of ...