3335 search results - page 27 / 667 » A Unified Approach to Modeling and Programming |
134
click to vote
UTP
2010
15 years 2 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
127
Voted
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...
129
click to vote
DBPL
2003
Springer
15 years 10 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
149
click to vote
AAAI
2006
15 years 6 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
157
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Over the last decade, Message Passing Interface (MPI) has become a very successful parallel programming environment for distributed memory architectures such as clusters. However, ...