1890 search results - page 119 / 378 » A component model for building systems software |
MA
2000
Springer
13 years 11 months ago
2000
Springer
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...
JSW
2008
13 years 8 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
ICW
2005
IEEE
14 years 1 months ago
2005
IEEE
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...
MICRO
2006
IEEE
13 years 8 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...