467 search results - page 67 / 94 » Open bisimulation for aspects |
DAMON
2006
Springer
14 years 1 months ago
2006
Springer
Secure coprocessors have traditionally been used as a keystone of a security subsystem, eliminating the need to protect the rest of the subsystem with physical security measures. ...
FM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
DAC
2010
ACM
14 years 1 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
ESWS
2010
Springer
14 years 29 days ago
2010
Springer
Building and maintaining thesauri are complex and laborious tasks. PoolParty is a Thesaurus Management Tool (TMT) for the Semantic Web, which aims to support the creation and maint...
DEBS
2010
ACM
14 years 2 days ago
2010
ACM
For Complex Event Processing (CEP), the synergy with Predictive Analytics (PA) is a promising research direction. In this paper we focus on the inclusion of PA technologies into C...