2778 search results - page 130 / 556 » Limit complexities revisited |
137
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
149
Voted
WETICE
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing a collaborative architecture for real-time applications is an intricate challenge that usually involves dealing with the real-time constraints, resource limitations and ...
126
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
Internet worm spread is a phenomenon involving millions of hosts, who interact in complex and diverse environment. Scanning speed of each infected host depends on its resources an...
135
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
128
click to vote
IEAAIE
2001
Springer
15 years 9 months ago
2001
Springer
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...