1419 search results - page 46 / 284 » Notes on Formalizing Context |
90
Voted
SEC
2008
15 years 2 months ago
2008
Every time a user uses the Internet, a wealth of personal information is revealed, either voluntarily or involuntarily. This often causes privacy breaches, specially if the informa...
100
Voted
ENTCS
2006
15 years 17 days ago
2006
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
102
click to vote
MICS
2010
14 years 11 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
96
Voted
WISE
2009
Springer
15 years 9 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
109
Voted
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...