Sciweavers

1606 search results - page 73 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
TWC
2008
154views more  TWC 2008»
15 years 4 months ago
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks
Abstract-- In many portable devices, wireless network interfaces consume upwards of 30% of scarce system energy. Reducing the transceiver's power consumption to extend the sys...
Sofie Pollin, Rahul Mangharam, Bruno Bougard, Lies...
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 8 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
VRST
2000
ACM
15 years 8 months ago
Choosing and using a driving problem for CVE technology development
The need for a real-world driving problem to guide technology development has long been recognised. However, this does not guarantee the identification of requirements for technol...
William L. Mitchell, Daphne Economou, Steve Pettif...
FSR
2003
Springer
128views Robotics» more  FSR 2003»
15 years 9 months ago
Development of a Terrain Adaptive Stability Prediction System for Mass Articulating Mobile Robots
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
Antonio Diaz-Calderon, Alonzo Kelly
UML
2005
Springer
15 years 9 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...