Sciweavers

2059 search results - page 310 / 412
» An adaptive system developer's tool-kit
Sort
View
GLOBECOM
2008
IEEE
15 years 7 months ago
A Cognitive Framework for Improving Coexistence Among Heterogeneous Wireless Networks
—The proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...
Stefan Geirhofer, Lang Tong, Brian M. Sadler
AI
2000
Springer
15 years 6 months ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe
JOT
2010
117views more  JOT 2010»
15 years 4 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
SJ
2010
120views more  SJ 2010»
15 years 4 months ago
Rapid Prototyping for Wildlife and Ecological Monitoring
—Wildlife tracking and ecological monitoring are important for scientific monitoring, wildlife rehabilitation, disease control, and sustainable ecological development. Yet techn...
Jyh-How Huang, Ying-Yu Chen, Yu-Te Huang, Po-Yen L...
ICSM
1999
IEEE
15 years 10 months ago
A Two-Phase Process for Software Architecture Improvement
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
René L. Krikhaar, André Postma, M. P...