11200 search results - page 1822 / 2240 » An Object-oriented Optimization System |
166
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
152
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
131
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...
164
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
142
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...