22698 search results - page 4003 / 4540 » Modeling in Software Engineering |
173
click to vote
GG
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
183
click to vote
ICFCA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
242
click to vote
NMR
2004
Springer
16 years 13 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
187
click to vote
QOFIS
2004
Springer
16 years 13 days ago
2004
Springer
The current Internet implements hop-by-hop packet forwarding based entirely on globally-unique identifiers specified in packet headers, and routing tables that identify destinati...
132
click to vote
SAT
2004
Springer
16 years 13 days ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...