510 search results - page 35 / 102 » An Algebraic Framework for Urgency |
170
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
177
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
157
click to vote
ADCM
1998
15 years 6 months ago
1998
Using the framework provided by Clifford algebras, we consider a noncommutative quotient-difference algorithm for obtaining the elements of a continued fraction corresponding to...
209
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
178
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...