8636 search results - page 1241 / 1728 » How Developers Copy |
144
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
173
click to vote
PRDC
2006
IEEE
16 years 12 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
147
click to vote
QEST
2006
IEEE
16 years 12 days ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
156
click to vote
SKG
2006
IEEE
16 years 12 days ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
172
Voted
SP
2006
IEEE
16 years 12 days ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...