6300 search results - page 72 / 1260 » We have it easy, but do we have it right |
186
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
117
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
108
click to vote
COMCOM
2006
15 years 1 months ago
2006
Wireless sensor networks constitute the platform of a broad range of applications related to national security, surveillance, military, health care, and environmental monitoring. ...
120
click to vote
CN
2007
15 years 1 months ago
2007
Ad hoc groups, such as peer-to-peer (P2P) systems and mobile ad hoc networks (MANETs) represent recent technological advancements. They support low-cost, scalable and fault-tolera...