467 search results - page 56 / 94 » Open bisimulation for aspects |
155
Voted
TLDI
2010
ACM
16 years 17 days ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
102
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The increased fluidity and agility of organizations demand the smooth mediation of information technology (IT) between user and task. As rigid hierarchies are giving way to open, ...
112
Voted
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
The proliferation of mobile devices has given rise to novel user-centric applications and services. In current mobile systems, users gain access to remote servers over mobile netwo...
120
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
The Internet no longer meets the world’s requirements. Recognition of the Internet architecture’s inherent flaws has opened a window of opportunity for fresh thinking: granti...
120
Voted
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...