5228 search results - page 838 / 1046 » Case Studies for Software Engineers |
170
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
186
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
140
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we present a new view on the data preparation in web usage mining. We concentrate on recovering individual usage behaviour from accessing records on web site. We de...
142
click to vote
IHM
2004
ACM
16 years 1 days ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
137
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...