15860 search results - page 2577 / 3172 » Agent-Based Software Engineering |
156
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...
140
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
175
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
151
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
162
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Privacy is gaining importance since more and more data becomes digitalized. There is also a growing interest from the security community because of the existing synergy between se...