16216 search results - page 220 / 3244 » Effective Modeling with Constraints |
199
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Accurate localization of mobile objects is a major research problem in sensor networks and an important data mining application. Specifically, the localization problem is to deter...
183
click to vote
JSS
2008
15 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
247
click to vote
GCC
2010
Springer
15 years 4 months ago
2010
Springer
Quality of Service (QoS) is essential to datacenters, which requires effective schemes to manage the flows among numerous servers. However, existing management techniques mainly fo...
169
click to vote
ISQED
2005
IEEE
16 years 6 days ago
2005
IEEE
Precise chip-level timing requires careful modeling of the interaction between logic drivers and interconnect. Existing static-timing analysis methodologies generate models for dr...
171
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...