7597 search results - page 1273 / 1520 » On the design of metric relations |
187
click to vote
ECCC
2007
15 years 6 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
202
click to vote
JIPS
2006
15 years 6 months ago
2006
: Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for ubiquitous network environments. Ubiquitous computing provide...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
152
click to vote
JOT
2006
15 years 6 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...