1856 search results - page 290 / 372 » Formal Dialectic Specification |
118
click to vote
ESWS
2007
Springer
15 years 10 months 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...
120
click to vote
FPL
2007
Springer
15 years 10 months 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...
131
click to vote
VLDB
2007
ACM
15 years 10 months 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...
149
Voted
AICT
2006
IEEE
15 years 10 months 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...
124
Voted
WIOPT
2006
IEEE
15 years 10 months 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...