422 search results - page 23 / 85 » Incremental Detection of Model Inconsistencies Based on Mode... |
EKAW
2000
Springer
15 years 1 months ago
2000
Springer
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
67
Voted
IWPC
2010
IEEE
14 years 8 months ago
2010
IEEE
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
TACAS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
72
Voted
WSC
2004
14 years 11 months ago
2004
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
ANSS
2004
IEEE
15 years 1 months ago
2004
IEEE
One important issue that has to be taken into account in wireless devices is the energy conservation. Every infrastructureless network must be adaptively self configured particula...