1527 search results - page 130 / 306 » From Requirements to Design: Formalizing the Key Steps |
260
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
171
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
149
click to vote
WSC
1997
15 years 8 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
164
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
164
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Distance function computation is a key subtask in many data mining algorithms and applications. The most effective form of the distance function can only be expressed in the conte...