8179 search results - page 1374 / 1636 » The PRACTIONIST Development Tool |
306
click to vote
AIME
2003
Springer
15 years 12 months ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
176
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
192
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
167
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
148
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...