Sciweavers

15401 search results - page 299 / 3081
» Software in Automotive Systems
Sort
View
EUROMICRO
2007
IEEE
15 years 10 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Juncao Li, Fei Xie, Huaiyu Liu
AAAI
1997
15 years 8 months ago
Building Brains for Rooms: Designing Distributed Software Agents
This paper argues that complex, embedded software agent systems are best constructed with parallel, layered architectures. These systems resemble Minskian Societies of Mind and Br...
Michael H. Coen
ICW
2005
IEEE
167views Communications» more  ICW 2005»
16 years 11 days ago
Dynamic Software Reconfiguration in Sensor Networks
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsouk...
ICSE
1998
IEEE-ACM
15 years 11 months ago
Software Requirements Negotiation: Some Lessons Learned
Negotiating requirements is one of the first steps in any software system life cycle, but its results have probably the most significant impact on the system's value. However...
Barry W. Boehm, Alexander Egyed