15155 search results - page 2620 / 3031 » System Software |
184
click to vote
IPL
2010
15 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
197
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
187
click to vote
POPL
2010
ACM
15 years 5 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
184
click to vote
BPM
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
205
click to vote
ISDA
2010
IEEE
15 years 4 months ago
2010
IEEE
A genetic algorithm is combined with two variants of the modularity (Q) network analysis metric to examine a substantial amount fisheries catch data. The data set produces one of t...