1175 search results - page 65 / 235 » Abstract computability and algebraic specification |
129
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
126
click to vote
DCC
2006
IEEE
16 years 4 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
121
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
170
click to vote
CN
2004
15 years 4 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
134
click to vote
PRDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In this paper, we study algebraic aggregate computations in Sensor Networks. The main contribution is the presentation of an early-stopping protocol that computes the av...