3828 search results - page 572 / 766 » Proof-Based System Engineering Using a Virtual System Model |
203
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
143
click to vote
CEAS
2005
Springer
15 years 12 months ago
2005
Springer
Implicit query systems examine a document and automatically conduct searches for the most relevant information. In this paper, we offer three contributions to implicit query resea...
190
click to vote
AR
2007
15 years 6 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
213
Voted
ARCSF
2008
15 years 7 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
182
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...