2067 search results - page 324 / 414 » Logics of propositional control |
174
click to vote
RTSS
2008
IEEE
16 years 22 days ago
2008
IEEE
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...
143
click to vote
HICSS
2007
IEEE
16 years 20 days ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
135
click to vote
ISQED
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...
146
click to vote
ER
2007
Springer
16 years 15 days ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
158
click to vote
ER
2007
Springer
16 years 15 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...