628 search results - page 2 / 126 » Effectively Open Real Functions |
PAAMS
2010
Springer
13 years 8 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
DAWAK
2009
Springer
13 years 12 months ago
2009
Springer
While in the past the BI market was strictly dominated by closed source and commercial tools, the last few years were characterized by the birth of open source solutions: first as ...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
The proliferation of IEEE 802.11-based wireless LANs opens up avenues for creation of several tetherless and mobility oriented services. Most of these services, like voice over WL...
CCS
2005
ACM
14 years 4 months ago
2005
ACM
Cellular networks are a critical component of the economic and social infrastructures in which we live. In addition to voice services, these networks deliver alphanumeric text mes...
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This article describes the first public version of the satisfiability modulo theory (SMT) solver veriT. It is open-source, proof-producing, and complete for quantifier-fr...