1021 search results - page 138 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
DBSEC
2006
15 years 19 days 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...
109
click to vote
SIGSOFT
2003
ACM
15 years 4 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...
SIGSOFT
2004
ACM
15 years 12 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...
PROCEDIA
2010
14 years 6 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...
ESWS
2008
Springer
15 years 1 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....