2948 search results - page 114 / 590 » More Principled Design of Pervasive Computing Systems |
ECOOPW
2008
Springer
14 years 11 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
DSN
2006
IEEE
15 years 4 months ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
CGI
2006
IEEE
15 years 4 months ago
2006
IEEE
Pen-based user interface has become a hot research field in recent years. Pen gesture plays an important role in Pen-based user interfaces. But it’s difficult for UI designers to...
101
click to vote
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...
172
click to vote
POPL
2001
ACM
15 years 10 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...