4350 search results - page 513 / 870 » Case studies for contract-based systems |
194
click to vote
ISCAPDCS
2003
15 years 9 months ago
2003
EnFuzion and MOSIX are two packages that represent different approaches to cluster management. EnFuzion is a user-level queuing system that can dispatch a predetermined number of ...
161
click to vote
MICS
2007
15 years 7 months ago
2007
The pseudozero set of a system P of polynomials in n variables is the subset of Cn consisting of the union of the zeros of all polynomial systems Q that are near to P in a suitable...
212
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Multiple-input multiple-output (MIMO) systems are being considered as one of the key enabling technologies for future wireless networks. However, the decrease in capacity due to th...
217
click to vote
ICMT
2010
Springer
15 years 6 months ago
2010
Springer
Traditionally, software maintenance takes only technical information into account to evolve legacy systems. However, business knowledge, which could help to improve the comprehensi...
218
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...