987 search results - page 94 / 198 » Extending FeatuRSEB with Concepts from Systems Engineering |
DGO
2003
13 years 10 months ago
2003
An objective of this research is to develop a framework for regulation management as well as for comparing regulations from multiple sources. An online repository for regulatory d...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
ICOST
2010
Springer
14 years 29 days ago
2010
Springer
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
DATE
1998
IEEE
14 years 1 months ago
1998
IEEE
Near-future linac projects put yet unreached requirements on the LLRF control hardware in both performance and manageability. Meeting their field stability targets requires a clea...