941 search results - page 75 / 189 » Mathematics on the (Semantic) NET |
123
click to vote
IAJIT
2010
14 years 11 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
108
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
119
Voted
ISSAC
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
104
Voted
LICS
1989
IEEE
15 years 4 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
128
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 6 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...