Sciweavers

4041 search results - page 403 / 809
» A Model of Creative Understanding
Sort
View
ATAL
2000
Springer
15 years 11 months ago
Plan Analysis for Autonomous Sociological Agents
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...
Michael Luck, Mark d'Inverno
IFM
1999
Springer
15 years 11 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
UML
1999
Springer
15 years 11 months ago
Enabling the Refinement of a Software Architecture into a Design
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
Marwan Abi-Antoun, Nenad Medvidovic
ASIACRYPT
2006
Springer
15 years 10 months ago
Indifferentiable Security Analysis of Popular Hash Functions with Prefix-Free Padding
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
Donghoon Chang, Sangjin Lee, Mridul Nandi, Moti Yu...
WSC
2007
15 years 9 months ago
Building composable bridges between the conceptual space and the implementation space
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
Paul Gustavson, Tram Chase