Sciweavers

648 search results - page 85 / 130
» Collaborative Modeling - A Design Science Approach
Sort
View
HICSS
2003
IEEE
137views Biometrics» more  HICSS 2003»
15 years 7 months ago
Augmented Cognition: Allocation of Attention
We describe a novel, model-based approach to augmented cognition. We first discuss a subset of cognitive limitations that are likely to impair performance. We then note traditiona...
Misha Pavel, Guoping Wang, Kehai Li
ACSC
2010
IEEE
14 years 9 months ago
Analysis of the periodical payment framework using restricted proxy certificates
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
Grigori Goldman, Lawrie Brown
116
Voted
ATAL
2008
Springer
15 years 4 months ago
Structure in threes: modelling organization-oriented software architectures built upon multi-agent systems
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
Matthias Wester-Ebbinghaus, Daniel Moldt
119
Voted
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 4 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
102
Voted
ENC
2007
IEEE
15 years 8 months ago
A MDA tool for the development of service-oriented component-based applications
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
Nestor Riba, Humberto Cervantes