Sciweavers

8067 search results - page 1366 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
SIGECOM
2005
ACM
122views ECommerce» more  SIGECOM 2005»
16 years 22 days ago
Robust solutions for combinatorial auctions
Bids submitted in auctions are usually treated as enforceable commitments in most bidding and auction theory literature. In reality bidders often withdraw winning bids before the ...
Alan Holland, Barry O'Sullivan
EWSA
2005
Springer
16 years 21 days ago
Architecture Description for Mobile Distributed Systems
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
Volker Gruhn, Clemens Schäfer
GIAE
2004
Springer
136views Mathematics» more  GIAE 2004»
16 years 17 days ago
Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid, Ch...
CAISE
2003
Springer
16 years 12 days ago
Introducing Custom Language Extensions to SQL: 1999
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
Jernej Kovse, Wolfgang Mahnke
GLVLSI
2010
IEEE
172views VLSI» more  GLVLSI 2010»
16 years 8 days ago
Online convex optimization-based algorithm for thermal management of MPSoCs
Meeting the temperature constraints and reducing the hot-spots are critical for achieving reliable and efficient operation of complex multi-core systems. The goal of thermal mana...
Francesco Zanini, David Atienza, Giovanni De Miche...
« Prev « First page 1366 / 1614 Last » Next »