15155 search results - page 2394 / 3031 » System Software |
213
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
197
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
170
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
175
Voted
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a strategy, based on requirement patterns (RP), aimed at improving the requirement analysis discipline by allowing business analysts (BA) to produce more relia...
211
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...