1021 search results - page 138 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
125
Voted
DBSEC
2006
15 years 4 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
141
Voted
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
107
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
128
Voted
PROCEDIA
2010
14 years 9 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
110
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The Semantic Desktop is a means to support users in Personal Information Management (PIM). It provides an excellent test bed for Semantic Web technology: resources (e. g....