1527 search results - page 160 / 306 » From Requirements to Design: Formalizing the Key Steps |
179
click to vote
ICLP
2005
Springer
16 years 1 days 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...
192
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...
160
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
176
click to vote
CIIT
2004
15 years 8 months ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
197
click to vote
DEBU
2010
15 years 3 months ago
2010
Sharing structured data today requires agreeing on a standard schema, then mapping and cleaning all of the data to achieve a single queriable mediated instance. However, for setti...