4386 search results - page 610 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
142
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
119
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
155
click to vote
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...
144
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...