6274 search results - page 958 / 1255 » Proofs, Programs, Processes |
135
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
104
Voted
IVA
2007
Springer
15 years 9 months ago
2007
Springer
The goal of this paper is to open discussion about industrial creativity as a potential application field for Embodied Conversational Agents. We introduce the domain of creativity ...
129
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
146
click to vote
SOCO
2007
Springer
15 years 9 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
136
click to vote
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...