1354 search results - page 165 / 271 » Comparing Agent-Oriented Methodologies |
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Tensor-based morphometry (TBM) is an analysis technique where anatomical information is characterized by means of the spatial transformations between a customized template and obse...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
MOBIHOC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we seek to improve our understanding of human mobility in terms of social structures, and to use these structures in the design of forwarding algorithms for Pocket S...
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...