6607 search results - page 148 / 1322 » Making TeX Work |
138
click to vote
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
134
click to vote
CEAS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we consider the approach to image spam filtering based on using image classifiers aimed at discriminating between ham and spam images, previously proposed by other a...
120
click to vote
DMSN
2008
ACM
15 years 5 months ago
2008
ACM
With the ultimate goal of extending the data integration paradigm and query processing capabilities to ad hoc wireless networks, sensors, and stream systems, we consider how to su...
121
click to vote
EDUTAINMENT
2008
Springer
15 years 5 months ago
2008
Springer
Computer games accessibility have initially been regarded as an area of minor importance as there were much more "serious" topics to focus on. Today, the society is slowl...
124
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we introduce a formal email workflow model based on traditional email, which enables the user to define and execute ad-hoc workflows in an intuitive way. This model ...