Sciweavers

2996 search results - page 171 / 600
» Information Modeling in the Time of the Revolution
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
MDAI
2009
Springer
16 years 1 months ago
A Consensus Reaching Model for Web 2.0 Communities
Web 2.0 Communities allow large amounts of users to interact with each others. In fact, new Web 2.0 technologies allow to share resources and information in an easy and timely mann...
Sergio Alonso, Ignacio J. Pérez, Francisco ...
HICSS
2008
IEEE
108views Biometrics» more  HICSS 2008»
16 years 1 months ago
Should Online Auctions Employ Dynamic Buyout Pricing Models?
Online auctions are inherently dynamic. Online auction designs that internalize temporal changes in the economic environment are generally expected to perform better than static d...
Roumen Vragov, Di Shang, Karl Reiner Lang
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 12 months ago
A Marketing Model for Mobile Wireless Services
: 1 Invaluable feedback from HIICS referees is gratefully acknowledged. Mobile data services integrate handheld and Internet technologies to create new value propositions (Keen and...
A. Lee Gilbert, Jon D. Kendall
CAV
2004
Springer
130views Hardware» more  CAV 2004»
15 years 10 months ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi