148 search results - page 29 / 30 » Comparing Frameworks and Layered Refinement |
PDP
2007
IEEE
14 years 1 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...
IICS
2010
Springer
13 years 11 months ago
2010
Springer
They appeared in our life only few years ago and now they are everywhere: computers have become ubiquitous and, almost, irreplaceable. Classical ways of creating, managing and exch...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
DSD
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—In two recent contributions [1], [2], we have provided a comparative analysis of various optimization algorithms, which can be used for atomic location estimation, and s...
WIMOB
2008
IEEE
14 years 1 months ago
2008
IEEE
—In the past few years there has been increasing research interest in service discovery protocols for Mobile Ad Hoc Networks (MANET). The most promising approaches so far address...