4609 search results - page 748 / 922 » Automatic Generation of Sigma-Protocols |
177
click to vote
CAISE
2005
Springer
16 years 17 days ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
156
Voted
CASSIS
2005
Springer
16 years 17 days ago
2005
Springer
Memory is one of the scarcest resource of embedded and constrained devices. This paper studies the memory footprint benefit of pre-deploying embedded Java systems up to their acti...
196
Voted
CBSE
2005
Springer
16 years 17 days ago
2005
Springer
After a component based system is developed, it has to be deployed into a target environment. As the system becomes much larger and more complex and the environment becomes open an...
206
Voted
CD
2005
Springer
16 years 17 days ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall av...
163
Voted
CP
2005
Springer
16 years 17 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...