958 search results - page 50 / 192 » Model Transformation Languages and Their Implementation by B... |
160
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
105
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
130
click to vote
IEEEHPCS
2010
14 years 11 months ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
103
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
108
click to vote
WEBNET
2001
15 years 2 months ago
2001
: This paper presents a method that automates hypermedia presentation generation on the Web. The method is based on RMM (Relationship Management Methodology) for aspects of hyperme...