3688 search results - page 274 / 738 » Static analysis of aspects |
181
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Online social networking sites such as Flickr and Facebook provide a diverse range of functionalities that foster online communities to create and share media content. In particul...
175
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a large number of interactive visualization tools, however no universal tool exists that covers all relevant aspects for all possible application domains. We have develop...
174
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
Criminal behaviour often involves a combination of physical, mental, social and environmental (multi-)agent aspects, such as neurological deviations, hormones, arousal, (non)empat...
196
click to vote
GISCIENCE
2004
Springer
16 years 2 days ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
145
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...