3688 search results - page 644 / 738 » Static analysis of aspects |
134
Voted
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
161
click to vote
ICEIS
2010
IEEE
15 years 2 months ago
2010
IEEE
Regularities in the world are human defined. Patterns in the observed phenomena are there because we define and recognize them as such. Automatic pattern recognition tries to bridg...
186
click to vote
ICMI
2010
Springer
15 years 2 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
128
click to vote
EDM
2009
15 years 2 months ago
2009
The purpose of this study is to empirically reveal strategies of students' organization of learning-related digital materials within an online personal information archive. Re...
172
click to vote
ENASE
2009
15 years 2 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...