2513 search results - page 431 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
145
click to vote
SEMWEB
2007
Springer
16 years 5 days ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
176
click to vote
CODES
2006
IEEE
16 years 4 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
200
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
180
Voted
CADE
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
157
Voted
IPPS
2009
IEEE
16 years 21 days ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...