Sciweavers

8499 search results - page 267 / 1700
» cans 2009
Sort
View
176
Voted
SERA
2009
Springer
16 years 1 months ago
An Agent-Based Web Services Market
Agent Based Web Services Market (AWSM) is a framework for agents to present and sell their capabilities as web services. Agents take certain roles and cooperate to constitute agent...
Ali Durmus, Nadia Erdogan
TAMC
2009
Springer
16 years 1 months ago
On Parameterized Exponential Time Complexity
In this paper we define the notion of an f(k)-uniform parameterized exponential time scheme. We show that a problem can be solved in parameterized O(2o(f(k)) p(n)) time if and on...
Jianer Chen, Iyad A. Kanj, Ge Xia
ISSTA
2009
ACM
16 years 1 months ago
Analyzing singularity channel contracts
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
Zachary Stengel, Tevfik Bultan
JCDL
2009
ACM
121views Education» more  JCDL 2009»
16 years 1 months ago
Improving historical research by linking digital library information to a global genealogical database
Journals, letters, and other writings are of great value to historians and those who research their own family history; however, it can be difficult to find writings by specific...
Douglas J. Kennard, William B. Lund, Bryan S. Mors...
UIST
2009
ACM
16 years 1 months ago
Disappearing mobile devices
In this paper, we extrapolate the evolution of mobile devices in one specific direction, namely miniaturization. While we maintain the concept of a device that people are aware of...
Tao Ni, Patrick Baudisch