5630 search results - page 355 / 1126 » Computability in Specification |
304
Voted
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...
185
click to vote
LCN
2005
IEEE
16 years 13 days ago
2005
IEEE
Name services for mobile ad hoc networks are essential to discover and bind resources given by their name or URI to a specific network address. As there is no fixed infrastructure...
285
Voted
SAC
2008
ACM
15 years 6 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
187
Voted
ENTCS
2006
15 years 6 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
187
click to vote
TOG
2008
15 years 6 months ago
2008
Achieving intuitive control of animated surface deformation while observing a specific style is an important but challenging task in computer graphics. Solutions to this task can ...