13383 search results - page 377 / 2677 » Abstractions from proofs |
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
197
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
182
click to vote
CTRSA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Multi-signatures allow multiple signers to jointly authenticate a message using a single compact signature. Many applications however require the public keys of the signe...
199
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
164
Voted
DATESO
2008
15 years 8 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...