434 search results - page 67 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
ECOOPW
1998
Springer
15 years 2 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
165
click to vote
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
ATVA
2009
Springer
14 years 11 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...