635 search results - page 21 / 127 » Towards the formalization of interaction semantics |
103
click to vote
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
RE
1999
Springer
15 years 1 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
82
Voted
DOCENG
2003
ACM
15 years 2 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
WIKIS
2006
ACM
15 years 3 months ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
79
Voted
APCCM
2009
14 years 10 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...