5838 search results - page 832 / 1168 » A File System for System Programming in Ubiquitous Computing |
143
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
160
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
156
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
131
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
193
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
There have been many attacks that exploit side-effects of program execution to expose secret information and many proposed countermeasures to protect against these attacks. Howeve...