3573 search results - page 335 / 715 » Reasoning about Codata |
151
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
143
Voted
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
137
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
149
click to vote
IEEEICCI
2006
IEEE
15 years 11 months ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulï...
138
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—Recognizing human emotions from partial facial features is quite hard to achieve reasonable accuracy. In this paper, we propose to use a tree structure representation to simulat...