3335 search results - page 376 / 667 » A Unified Approach to Modeling and Programming |
185
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
158
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
186
click to vote
WSCG
2001
15 years 8 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
154
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
264
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...