2132 search results - page 68 / 427 » Automated software winnowing |
155
click to vote
RWEB
2010
Springer
15 years 1 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
119
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
127
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
158
click to vote
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
148
Voted
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...