3311 search results - page 471 / 663 » Deductive Object Programming |
118
Voted
WIMOB
2008
IEEE
15 years 9 months ago
2008
IEEE
—We consider the rate allocation problem for data aggregation in wireless sensor networks with two objectives: 1) maximizing the lifetime of a local aggregation cluster and, 2) a...
163
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
CP
2007
Springer
15 years 8 months ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
142
Voted
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
107
click to vote
SEFM
2006
IEEE
15 years 8 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...