3828 search results - page 666 / 766 » Proof-Based System Engineering Using a Virtual System Model |
108
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
129
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...
148
Voted
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
130
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...