9370 search results - page 158 / 1874 » An Abstract Notion of Application |
148
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
140
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
142
click to vote
MSCS
2007
15 years 6 months ago
2007
ction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of...
184
click to vote
DSONLINE
2006
15 years 6 months ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
170
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...