1856 search results - page 290 / 372 » Formal Dialectic Specification |
156
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
149
click to vote
FPL
2007
Springer
16 years 16 days ago
2007
Springer
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...
167
click to vote
VLDB
2007
ACM
16 years 15 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
190
click to vote
AICT
2006
IEEE
16 years 13 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
158
click to vote
WIOPT
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...