949 search results - page 105 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— The quality of communications in mobile ad-hoc networks is largely determined by the topological stability. Characterizing the mobility of mobile nodes (e.g. how often they mov...
ISPA
2005
Springer
14 years 2 months ago
2005
Springer
：Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...
AMC
2007
13 years 9 months ago
2007
The surface estimation problem is used as a model to demonstrate a framework for solving early vision problems by high-order regularization with natural boundary conditions. Becaus...
ENTCS
2002
13 years 8 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...