4609 search results - page 748 / 922 » Automatic Generation of Sigma-Protocols |
160
click to vote
CAISE
2005
Springer
16 years 17 hour 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...
144
click to vote
CASSIS
2005
Springer
16 years 17 hour 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...
183
click to vote
CBSE
2005
Springer
16 years 17 hour 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...
181
click to vote
CD
2005
Springer
16 years 16 hour 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...
144
click to vote
CP
2005
Springer
16 years 13 hour 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...