529 search results - page 44 / 106 » Property Directed Abstract Interpretation |
141
Voted
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
119
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—This paper proposes a novel discrete time secondorder distributed consensus time synchronization (SO-DCTS) algorithm for wireless sensor networks. The consensus properti...
133
Voted
MATA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
137
Voted
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
155
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...