2036 search results - page 171 / 408 » A generic type-and-effect system |
194
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
245
click to vote
FSE
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Blue Midnight Wish (BMW) is one of the fastest SHA-3 candidates in the second round of the competition. In this paper we study the compression function of BMW and we obta...
201
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
185
click to vote
MMM
2008
Springer
16 years 1 months ago
2008
Springer
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...
175
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...