1995 search results - page 46 / 399 » A model for information technologies that can be creative |
WETICE
1998
IEEE
14 years 28 days ago
1998
IEEE
The paper surveys the possible coordination models for mobile agent applications and evaluates them in the context of a widely distributed application in the area of WWW informati...
ADVSE
2010
13 years 3 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
IEEEIAS
2007
IEEE
14 years 3 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
BRAIN
2010
Springer
13 years 6 months ago
2010
Springer
This paper introduces a neurologically inspired computational model for the emergence of group decisions. The model combines an individual decision making model based on Damasio&#...
ICSE
2011
IEEE-ACM
13 years 4 days ago
2011
IEEE-ACM
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...