3133 search results - page 233 / 627 » Difference systems of sets and cyclotomy |
159
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this report, the problem of broadcast scheduling in Push broadcast systems is studied. We introduce an optimization approach that leads to well justified policies for Push b...
171
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
167
click to vote
RTCSA
2005
IEEE
16 years 7 days ago
2005
IEEE
Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and mak...
162
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
208
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...