Sciweavers

7623 search results - page 479 / 1525
» Constructive Volume Modeling
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
HICSS
2008
IEEE
102views Biometrics» more  HICSS 2008»
16 years 1 months ago
Chaos Theory as a Model for Interpreting Weblog Traffic
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...
Xitong Guo, Doug Vogel, Zhongyun Zhou, Xi Zhang, H...
ICALT
2008
IEEE
16 years 1 months ago
Deriving E-Assessment from a Competency Model
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis
AIMS
2007
Springer
16 years 1 months ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
CONCUR
2007
Springer
16 years 1 months ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari