5090 search results - page 920 / 1018 » Constructing Strategies for Programming |
156
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we explore the mobility of a mobile sink in a wireless sensor network (WSN) to prolong the network lifetime. Since the mechanical movement of mobile sink is driven by...
139
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
117
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
159
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
145
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...