1342 search results - page 179 / 269 » Ordered Programs as Abductive Systems |
ISCA
2008
IEEE
13 years 8 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
JOT
2006
13 years 8 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
COMCOM
2000
13 years 8 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
TCSV
2010
13 years 3 months ago
2010
Wireless video multicast enables delivery of popular events to many mobile users in a bandwidth efficient manner. However, providing good and stable video quality to a large number...