6528 search results - page 932 / 1306 » On the architecture of software component systems |
224
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
222
click to vote
IPSN
2005
Springer
16 years 1 months ago
2005
Springer
Abstract— Sustainable operation of battery powered wireless embedded systems (such as sensor nodes) is a key challenge, and considerable research effort has been devoted to energ...
198
click to vote
HPDC
1999
IEEE
15 years 12 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
206
click to vote
ENTCS
2008
15 years 7 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
160
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...