Sciweavers

5634 search results - page 402 / 1127
» About Abstract Classes
Sort
View
HCI
2009
15 years 4 months ago
Evaluation of User-Interfaces for Mobile Application Development Environments
Abstract. This paper discusses about the different user-interfaces of mobile development and modeling environments in order to extract important details in which the user-interface...
Florence T. Balagtas-Fernandez, Heinrich Hussmann
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
15 years 4 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
170
Voted
IJAR
2011
88views more  IJAR 2011»
15 years 1 months ago
A framework for reasoning under uncertainty based on non-deterministic distance semantics
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
Ofer Arieli, Anna Zamansky
SBP
2011
Springer
14 years 9 months ago
Consumer Search, Rationing Rules, and the Consequence for Competition
Abstract. Firms’ conjectures about demand are consequential in oligopoly games. Through agent-based modeling of consumers’ search for products, we can study the rationing of de...
Christopher S. Ruebeck
SEMWEB
2011
Springer
14 years 9 months ago
OWLIM: A family of scalable semantic repositories
Abstract. An explosion in the use of RDF for representing information about resources has driven the requirements for Webscale server systems that can store and process huge quanti...
Barry Bishop, Atanas Kiryakov, Damyan Ognyanoff, I...