Sciweavers

12193 search results - page 258 / 2439
» It's not all about
Sort
View
APAL
2007
75views more  APAL 2007»
15 years 6 months ago
Decidability of the theory of modules over commutative valuation domains
We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.
Gennadi Puninski, Vera Puninskaya, Carlo Toffalori
COMSWARE
2007
IEEE
16 years 29 days ago
Distributed Fault-Tolerant Topology Control in Static and Mobile Wireless Sensor Networks
— In wireless sensor networks, minimizing power consumption and at the same time maintaining desired properties in the network topology is of prime importance. In this work, we p...
Indranil Saha, Lokesh Kumar Sambasivan, Ranjeet Ku...
CHI
2009
ACM
16 years 7 months ago
Finding causes of program output with the Java Whyline
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
Andrew Jensen Ko, Brad A. Myers
ICDE
2010
IEEE
227views Database» more  ICDE 2010»
16 years 1 months ago
Incorporating partitioning and parallel plans into the SCOPE optimizer
— Massive data analysis on large clusters presents new opportunities and challenges for query optimization. Data partitioning is crucial to performance in this environment. Howev...
Jingren Zhou, Per-Åke Larson, Ronnie Chaiken
MABS
1998
Springer
15 years 10 months ago
Towards Modeling Other Agents: A Simulation-Based Study
In this paper, we present some of our ongoing experimental research towards investigating advantages of modeling other agents in multiagent environments. We attempt to quantify the...
Leonardo Garrido-Luna, Ramón F. Brena, Kati...