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 5 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 7 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
ATAL
2008
Springer
15 years 1 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
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 1 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
ENC
2007
IEEE
15 years 6 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